unsigned char chk1_Loop_f_while1(int *rvp_i, int *rvp_x, int *rvp_rvretval) { if (!(*rvp_i < *rvp_x)) return 0; { *rvp_i = *rvp_i + 1; rvs1_g--; { unsigned char rv_ltc_val; switch (rv_ltc_val = rvs1_Loop_f_while1_while1(*rvp_i,rvp_x,rvp_rvretval)) { case 123: return 123; default: return rv_ltc_val; case 0: break; } } } { return rvs1_Loop_f_while1(rvp_i,rvp_x,rvp_rvretval); } return 0; }
unsigned char chk1_Loop_f_while1_while1(int i, int *rvp_x, int *rvp_rvretval) { if (!(*rvp_x < i)) return 0; { (*rvp_x)--; rvs1_g = rvs1_g + 1; { *rvp_rvretval = rvs1_g; return 123; } } { return rvs1_Loop_f_while1_while1(i,rvp_x,rvp_rvretval); } return 0; }