void b_main_sink(int * data);void _main(){int * data;int * data_mainbuf=(int *)ALLOCA(50*sizeof(int));int * data_goodbuf=(int *)ALLOCA(100*sizeof(int));data=data_mainbuf;b_main_sink(data);}void c_main_sink(int * data);void b_main_sink(int * data){c_main_sink(data);}void d_main_sink(int * data);void c_main_sink(int * data){d_main_sink(data);}void d_main_sink(int * data){{memmove(data, src, 100*sizeof(int));printIntLine(data[0]);}}
void b_main_sink(int * data);static void main(){int * data;int * data_badbuf=(int *)ALLOCA(50*sizeof(int));int * data_goodbuf=(int *)ALLOCA(100*sizeof(int));data=data_goodbuf;b_main_sink(data);}void c_main_sink(int * data);void b_main_sink(int * data){c_main_sink(data);}void d_main_sink(int * data);void c_main_sink(int * data){d_main_sink(data);}void d_main_sink(int * data){{memmove(data, src, 100*sizeof(int));printIntLine(data[0]);}}