#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  typedef struct F {
    char B1;
    char B2;
    char B3;
    char B4;

  } F;
  F TRIPLES[9 - 0 + 1];
  int I;
  int J;
  int K;
  auto void CHECK(F * T) {
    _imp_enter();
    auto void CHECKB2(int N);
    int Z;
    for (Z = 1; Z != 9 + 1; Z += 1) {
      CHECKB2(Z);
    }
    auto void CHECKB2(int N) {
      _imp_enter();
      int VAL;
      VAL = T.B2;
      if (N != VAL) _imp_monitor(0);
      _imp_leave();
    }

    _imp_leave();
  }
  for (I = 0; I != 9 + 1; I += 1) {
    TRIPLES[I].B1 = I + 1;
    TRIPLES[I].B2 = I;
  }
  CHECK(TRIPLES); /*ERROR: name_sym_idx is -1!*/ /*C_NAME*/
  ;
  _imp_leave();
  exit(0);
  return (0);
}