#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  int I;
  int J;
  int JJ;
  int FAIL;
  JJ = 0;
  FAIL = 0;
  for (I = 1; I != 70 + 1; I += 1) {
    {
      char A[4095 - 0 + 1];
      J = ADDR(A[0]);
    }
    if (JJ != J) {
      if (JJ != 0) {
        FAIL = 1;
        WRITE(J, 5);
      }
      JJ = J;
    }
  }
  if (FAIL == 0) PRINTSTRING(_imp_str_literal("Test OK"));
  _imp_leave();
  exit(0);
  return (0);
}