typedef char *
malloc_t_st0
;