unsigned int b_main_source(unsigned int data);void _main(){unsigned int data;data=0;data=b_main_source(data);{unsigned int result=data-1;printUnsignedLine(result);}}unsigned int b_main_source(unsigned int data){data=(unsigned int)RAND32();return data;}
static void main(){unsigned int data;data=0;data=b_main_source(data);{unsigned int result=data-1;printUnsignedLine(result);}}unsigned int b_main_source(unsigned int data){data=5;return data;}