static void main_sink(int data){{int result=data * 2;printIntLine(result);}}void _main(){int data;data=-1;data=INT_MAX;main_sink(data);}
static void main_sink(int data){{int result=data * 2;printIntLine(result);}}static void main(){int data;data=-1;data=5;main_sink(data);}