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