void _main(){unsigned int data;data=0;data=(unsigned int)RAND32();{unsigned int data_copy=data;unsigned int data=data_copy;{unsigned int result=data * 2;printUnsignedLine(result);}}}
static void main(){unsigned int data;data=0;data=5;{unsigned int data_copy=data;unsigned int data=data_copy;{unsigned int result=data * 2;printUnsignedLine(result);}}}