static int main_source(int data){fscanf (stdin, "%d", &data);return data;}void _main(){int data;data=-1;data=main_source(data);{int result=data-1;printIntLine(result);}}
static int main_source(int data){data=5;return data;}static void main(){int data;data=-1;data=main_source(data);{int result=data-1;printIntLine(result);}}