typedef char *
malloc_t_st0
; typedef struct node
HANDLE_st1
;