int b_main_source(int data);void _main(){int data;data=-1;data=b_main_source(data);{int result=data+1;printIntLine(result);}}int b_main_source(int data){{char input_buf[CHAR_ARRAY_SIZE]="";fgets(input_buf, CHAR_ARRAY_SIZE, stdin);data=atoi(input_buf);}return data;}
static void main(){int data;data=-1;data=b_main_source(data);{int result=data+1;printIntLine(result);}}int b_main_source(int data){data=5;return data;}