typedef char *malloc_t_st0;