void b_main_sink(long long * data);void _main(){long long * data;long long * data_mainbuf=(long long *)ALLOCA(50*sizeof(long long));long long * data_goodbuf=(long long *)ALLOCA(100*sizeof(long long));data=data_mainbuf;b_main_sink(data);}void c_main_sink(long long * data);void b_main_sink(long long * data){c_main_sink(data);}void d_main_sink(long long * data);void c_main_sink(long long * data){d_main_sink(data);}void e_main_sink(long long * data);void d_main_sink(long long * data){e_main_sink(data);}void e_main_sink(long long * data){{{size_t i;for (i=0;i < 100;i++){data[i]=src[i];}printLongLongLine(data[0]);}}}
void b_main_sink(long long * data);static void main(){long long * data;long long * data_badbuf=(long long *)ALLOCA(50*sizeof(long long));long long * data_goodbuf=(long long *)ALLOCA(100*sizeof(long long));data=data_goodbuf;b_main_sink(data);}void c_main_sink(long long * data);void b_main_sink(long long * data){c_main_sink(data);}void d_main_sink(long long * data);void c_main_sink(long long * data){d_main_sink(data);}void e_main_sink(long long * data);void d_main_sink(long long * data){e_main_sink(data);}void e_main_sink(long long * data){{{size_t i;for (i=0;i < 100;i++){data[i]=src[i];}printLongLongLine(data[0]);}}}