void _main(){int data;data=-1;data=INT_MIN;{int data_copy=data;int data=data_copy;{int result=data-1;printIntLine(result);}}}
static void main(){int data;data=-1;data=5;{int data_copy=data;int data=data_copy;{int result=data-1;printIntLine(result);}}}