void _main(){int * data;data=NULL;if(global_returns_t_or_f()){data=(int *)malloc(100*sizeof(int));{size_t i;for(i=0;i < 100;i++){data[i]=5;}}free(data);}else{data=(int *)malloc(100*sizeof(int));{size_t i;for(i=0;i < 100;i++){data[i]=5;}}}if(global_returns_t_or_f()){printIntLine(data[0]);}else{}}
static void main(){int * data;data=NULL;if(global_returns_t_or_f()){data=(int *)malloc(100*sizeof(int));{size_t i;for(i=0;i < 100;i++){data[i]=5;}}}else{data=(int *)malloc(100*sizeof(int));{size_t i;for(i=0;i < 100;i++){data[i]=5;}}}if(global_returns_t_or_f()){printIntLine(data[0]);}else{printIntLine(data[0]);}}