unsigned char chk0_Loop_f_while1(int *rvp_i, int *rvp_x, int *rvp_rvretval) { if (!(*rvp_i < *rvp_x)) return 0; { (*rvp_i)++; rvs0_g--; { unsigned char rv_ltc_val; switch (rv_ltc_val = rvs0_Loop_f_while1_while1(*rvp_i,rvp_x,rvp_rvretval)) { case 123: return 123; default: return rv_ltc_val; case 0: break; } } } { return rvs0_Loop_f_while1(rvp_i,rvp_x,rvp_rvretval); } return 0; }
unsigned char chk0_Loop_f_while1_while1(int i, int *rvp_x, int *rvp_rvretval) { if (!(*rvp_x < i)) return 0; { (*rvp_x)--; rvs0_g++; { *rvp_rvretval = rvs0_g; return 123; } } { return rvs0_Loop_f_while1_while1(i,rvp_x,rvp_rvretval); } return 0; }