void b_main_sink();void _main(){unsigned int data;data=0;data=UINT_MAX;_main_data=data;b_main_sink();}void b_main_sink(){unsigned int data=_main_data;{unsigned int result=data * 2;printUnsignedLine(result);}}
static void main(){unsigned int data;data=0;data=5;_main_data=data;b_main_sink();}void b_main_sink(){unsigned int data=_main_data;{unsigned int result=data * 2;printUnsignedLine(result);}}