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