void b_main_sink();void _main(){int data;data=-1;_main_data=data;b_main_sink();}void b_main_sink(){int data=_main_data;{size_t i;int *b;b=(int*)malloc(data * sizeof(int));for (i=0;i < (size_t)data;i++){}printIntLine(b[0]);free(b);}}
void b_main_sink();static void main(){int data;data=-1;data=20;_main_data=data;b_main_sink();}void b_main_sink(){int data=_main_data;{size_t i;int *b;b=(int*)malloc(data * sizeof(int));for (i=0;i < (size_t)data;i++){}printIntLine(b[0]);free(b);}}