#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  extern void PHEX(int X) /* See
                             https://gcc.gnu.org/onlinedocs/gcc-4.7.2/gcc/Function-Attributes.html
                           */
      ;
  int I;
  int J;
  int K;
  int CORR;
  int FAIL;
  auto int DIV(int X, int Y) {
    _imp_enter();
    return (X / Y);
    _imp_leave();
  }
  FAIL = 0;
  for (K = 20; K != -20 + -1; K += -1) {
    if (K / 2 != DIV(K, 2)) FAIL = 1;
    if (K / 4 != DIV(K, 4)) FAIL = 1;
    if (K / 8 != DIV(K, 8)) FAIL = 1;
    if (K / 16 != DIV(K, 16)) FAIL = 1;
    if (K / 1 != DIV(K, 1)) FAIL = 1;
  }
  if (FAIL == 0)
    PRINTSTRING(_imp_str_literal("TEST OK"));
  else
    PRINTSTRING(_imp_str_literal("Divide in error"));
  NEWLINE();
  _imp_leave();
  exit(0);
  return (0);
}