void b_main_sink();void _main(){int * data;data=NULL;data=NULL;_main_data=data;b_main_sink();}void b_main_sink(){int * data=_main_data;printIntLine(*data);}
void b_main_sink();static void main(){int * data;data=NULL;{int tmp=5;data=&tmp;}_main_data=data;b_main_sink();}void b_main_sink(){int * data=_main_data;printIntLine(*data);}