int nondet() { int a; return a; }
_Bool nondet_bool() { _Bool a; return a; }
int foo (int A, int B, int C, int D, int E, int F, int G, int H, int I, int J, int K, int L, int M, int N, int O, int P, int Q, int R, int S, int T, int U, int V, int W, int X) {
 goto loc_f0;

 loc_f0:
 {
   if (nondet_bool()) {
    int B_ = 0;
    int A_ = 100;
    if (1 >= 0) {
     A = A_;
     B = B_;
     goto loc_f17;
    }
   }
   if (nondet_bool()) {
    int B_ = 10;
    int A_ = 100;
    if (1 >= 0) {
     A = A_;
     B = B_;
     goto loc_f17;
    }
   }
  goto end;
 }
 loc_f100:
 {
   if (nondet_bool()) {
    int P_ = 0;
    if (1 >= 0) {
     P = P_;
     goto loc_f106;
    }
   }
   if (nondet_bool()) {
    int P_ = 10;
    if (1 >= 0) {
     P = P_;
     goto loc_f106;
    }
   }
  goto end;
 }
 loc_f106:
 {
   if (nondet_bool()) {
    int Q_ = 0;
    int P_ = 0;
    if (P == 0) {
     P = P_;
     Q = Q_;
     goto loc_f125;
    }
   }
   if (nondet_bool()) {
    int R_ = 0;
    int Q_ = P;
    if (0 >= 1 + P) {
     Q = Q_;
     R = R_;
     goto loc_f109;
    }
   }
   if (nondet_bool()) {
    int R_ = 0;
    int Q_ = P;
    if (P >= 1) {
     Q = Q_;
     R = R_;
     goto loc_f109;
    }
   }
  goto end;
 }
 loc_f109:
 {
   if (nondet_bool()) {
    int R_ = 1 + R;
    if (M >= 1 + R) {
     R = R_;
     goto loc_f109;
    }
   }
   if (nondet_bool()) {
    if (R >= M) {
     goto loc_f125;
    }
   }
  goto end;
 }
 loc_f125:
 {
   if (nondet_bool()) {
    int T_ = 0;
    int S_ = 20;
    if (1 >= 0) {
     S = S_;
     T = T_;
     goto loc_f137;
    }
   }
   if (nondet_bool()) {
    int T_ = 10;
    int S_ = 20;
    if (1 >= 0) {
     S = S_;
     T = T_;
     goto loc_f137;
    }
   }
  goto end;
 }
 loc_f137:
 {
   if (nondet_bool()) {
    int U_ = T;
    if (0 >= 1 + T) {
     U = U_;
     goto loc_f140;
    }
   }
   if (nondet_bool()) {
    int U_ = T;
    if (T >= 1) {
     U = U_;
     goto loc_f140;
    }
   }
   if (nondet_bool()) {
    int U_ = 0;
    int T_ = 0;
    if (T == 0) {
     T = T_;
     U = U_;
     goto loc_f166;
    }
   }
  goto end;
 }
 loc_f140:
 {
   if (nondet_bool()) {
    int V_ = 0;
    if (1 >= 0) {
     V = V_;
     goto loc_f146;
    }
   }
   if (nondet_bool()) {
    int V_ = 10;
    if (1 >= 0) {
     V = V_;
     goto loc_f146;
    }
   }
  goto end;
 }
 loc_f146:
 {
   if (nondet_bool()) {
    int X_ = 0;
    int W_ = V;
    if (0 >= 1 + V) {
     W = W_;
     X = X_;
     goto loc_f149;
    }
   }
   if (nondet_bool()) {
    int X_ = 0;
    int W_ = V;
    if (V >= 1) {
     W = W_;
     X = X_;
     goto loc_f149;
    }
   }
   if (nondet_bool()) {
    int W_ = 0;
    int V_ = 0;
    if (V == 0) {
     V = V_;
     W = W_;
     goto loc_f166;
    }
   }
  goto end;
 }
 loc_f149:
 {
   if (nondet_bool()) {
    int X_ = 1 + X;
    if (S >= 1 + X) {
     X = X_;
     goto loc_f149;
    }
   }
   if (nondet_bool()) {
    if (X >= S) {
     goto loc_f166;
    }
   }
  goto end;
 }
 loc_f17:
 {
   if (nondet_bool()) {
    int C_ = B;
    if (0 >= 1 + B) {
     C = C_;
     goto loc_f20;
    }
   }
   if (nondet_bool()) {
    int C_ = B;
    if (B >= 1) {
     C = C_;
     goto loc_f20;
    }
   }
   if (nondet_bool()) {
    int C_ = 0;
    int B_ = 0;
    if (B == 0) {
     B = B_;
     C = C_;
     goto loc_f45;
    }
   }
  goto end;
 }
 loc_f20:
 {
   if (nondet_bool()) {
    int D_ = 0;
    if (1 >= 0) {
     D = D_;
     goto loc_f26;
    }
   }
   if (nondet_bool()) {
    int D_ = 10;
    if (1 >= 0) {
     D = D_;
     goto loc_f26;
    }
   }
  goto end;
 }
 loc_f26:
 {
   if (nondet_bool()) {
    int E_ = 0;
    int D_ = 0;
    if (D == 0) {
     D = D_;
     E = E_;
     goto loc_f45;
    }
   }
   if (nondet_bool()) {
    int F_ = 0;
    int E_ = D;
    if (0 >= 1 + D) {
     E = E_;
     F = F_;
     goto loc_f29;
    }
   }
   if (nondet_bool()) {
    int F_ = 0;
    int E_ = D;
    if (D >= 1) {
     E = E_;
     F = F_;
     goto loc_f29;
    }
   }
  goto end;
 }
 loc_f29:
 {
   if (nondet_bool()) {
    int F_ = 1 + F;
    if (A >= 1 + F) {
     F = F_;
     goto loc_f29;
    }
   }
   if (nondet_bool()) {
    if (F >= A) {
     goto loc_f45;
    }
   }
  goto end;
 }
 loc_f45:
 {
   if (nondet_bool()) {
    int H_ = 0;
    int G_ = 200;
    if (1 >= 0) {
     G = G_;
     H = H_;
     goto loc_f57;
    }
   }
   if (nondet_bool()) {
    int H_ = 10;
    int G_ = 200;
    if (1 >= 0) {
     G = G_;
     H = H_;
     goto loc_f57;
    }
   }
  goto end;
 }
 loc_f57:
 {
   if (nondet_bool()) {
    int I_ = H;
    if (0 >= 1 + H) {
     I = I_;
     goto loc_f60;
    }
   }
   if (nondet_bool()) {
    int I_ = H;
    if (H >= 1) {
     I = I_;
     goto loc_f60;
    }
   }
   if (nondet_bool()) {
    int I_ = 0;
    int H_ = 0;
    if (H == 0) {
     H = H_;
     I = I_;
     goto loc_f85;
    }
   }
  goto end;
 }
 loc_f60:
 {
   if (nondet_bool()) {
    int J_ = 0;
    if (1 >= 0) {
     J = J_;
     goto loc_f66;
    }
   }
   if (nondet_bool()) {
    int J_ = 10;
    if (1 >= 0) {
     J = J_;
     goto loc_f66;
    }
   }
  goto end;
 }
 loc_f66:
 {
   if (nondet_bool()) {
    int K_ = 0;
    int J_ = 0;
    if (J == 0) {
     J = J_;
     K = K_;
     goto loc_f85;
    }
   }
   if (nondet_bool()) {
    int L_ = 0;
    int K_ = J;
    if (0 >= 1 + J) {
     K = K_;
     L = L_;
     goto loc_f69;
    }
   }
   if (nondet_bool()) {
    int L_ = 0;
    int K_ = J;
    if (J >= 1) {
     K = K_;
     L = L_;
     goto loc_f69;
    }
   }
  goto end;
 }
 loc_f69:
 {
   if (nondet_bool()) {
    int L_ = 1 + L;
    if (G >= 1 + L) {
     L = L_;
     goto loc_f69;
    }
   }
   if (nondet_bool()) {
    if (L >= G) {
     goto loc_f85;
    }
   }
  goto end;
 }
 loc_f85:
 {
   if (nondet_bool()) {
    int N_ = 0;
    int M_ = 50;
    if (1 >= 0) {
     M = M_;
     N = N_;
     goto loc_f97;
    }
   }
   if (nondet_bool()) {
    int N_ = 10;
    int M_ = 50;
    if (1 >= 0) {
     M = M_;
     N = N_;
     goto loc_f97;
    }
   }
  goto end;
 }
 loc_f97:
 {
   if (nondet_bool()) {
    int O_ = N;
    if (0 >= 1 + N) {
     O = O_;
     goto loc_f100;
    }
   }
   if (nondet_bool()) {
    int O_ = N;
    if (N >= 1) {
     O = O_;
     goto loc_f100;
    }
   }
   if (nondet_bool()) {
    int O_ = 0;
    int N_ = 0;
    if (N == 0) {
     N = N_;
     O = O_;
     goto loc_f125;
    }
   }
  goto end;
 }
 loc_f166:
 end: return 0;
}