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