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) {
 goto loc_f0;

 loc_f0:
 {
   if (nondet_bool()) {
    int J_ = nondet();
    int I_ = nondet();
    int A_ = 1;
    if (0 >= J_) {
     A = A_;
     I = I_;
     J = J_;
     goto loc_f21;
    }
   }
   if (nondet_bool()) {
    int O_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int L_ = nondet();
    int I_ = nondet();
    int K_ = 1;
    int J_ = 0;
    int A_ = 1;
    if (O_ >= 1 && I_ >= 1) {
     A = A_;
     I = I_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     goto loc_f21;
    }
   }
   if (nondet_bool()) {
    int O_ = nondet();
    int N_ = nondet();
    int M_ = nondet();
    int L_ = nondet();
    int I_ = nondet();
    int K_ = 1;
    int J_ = 0;
    int A_ = 1;
    if (0 >= O_ && I_ >= 1) {
     A = A_;
     I = I_;
     J = J_;
     K = K_;
     L = L_;
     M = M_;
     N = N_;
     O = O_;
     goto loc_f41;
    }
   }
  goto end;
 }
 loc_f21:
 {
   if (nondet_bool()) {
    if (0 >= A) {
     goto loc_f29;
    }
   }
   if (nondet_bool()) {
    int H_ = nondet();
    int C_ = nondet();
    int B_ = nondet();
    int G_ = 0;
    int A_ = 0;
    if (A >= 1) {
     A = A_;
     B = B_;
     C = C_;
     G = G_;
     H = H_;
     goto loc_f29;
    }
   }
  goto end;
 }
 loc_f29:
 {
   if (nondet_bool()) {
    if (A >= 1) {
     goto loc_f41;
    }
   }
   if (nondet_bool()) {
    int F_ = nondet();
    int E_ = nondet();
    int C_ = nondet();
    int D_ = 0;
    if (999 + B >= F_ && 0 >= A) {
     C = C_;
     D = D_;
     E = E_;
     F = F_;
     goto loc_f41;
    }
   }
   if (nondet_bool()) {
    int F_ = nondet();
    int E_ = nondet();
    int C_ = nondet();
    int D_ = 0;
    int A_ = 1;
    if (F_ >= 1000 + B && 0 >= A) {
     A = A_;
     C = C_;
     D = D_;
     E = E_;
     F = F_;
     goto loc_f41;
    }
   }
  goto end;
 }
 loc_f41:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f41;
    }
   }
  goto end;
 }
 loc_f43:
 {
   if (nondet_bool()) {
    if (1 >= 0) {
     goto loc_f46;
    }
   }
  goto end;
 }
 loc_f46:
 end: return 0;
}