void b_main_sink(void * void_data_ptr);void _main(){int data;data=-1;data=RAND32();b_main_sink(&data);}void b_main_sink(void * void_data_ptr){int * data_ptr=(int *)void_data_ptr;int data=(*data_ptr);{int result=data * 2;printIntLine(result);}}
static void main(){int data;data=-1;data=5;b_main_sink(&data);}void b_main_sink(void * void_data_ptr){int * data_ptr=(int *)void_data_ptr;int data=(*data_ptr);{int result=data * 2;printIntLine(result);}}