#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  float I;
  float J;
  if (_imp_on_event(1)) {
    goto TRAP;
  }
  I = 2;
  for (;;) {
    J = I;
    I = I + I;
    if (I < 00.00001 || J >= I) {
      PRINTSTRING(_imp_str_literal("Oflow missed"));
    }
  }
  PRINTSTRING(_imp_str_literal("FAIL"));
  exit(0);
TRAP:;
  PRINTSTRING(_imp_str_literal("event trapped "));
      /*ERROR: name_sym_idx is -1!*/                /*C_NAME*/
  WRITE(() >> 8, 5); /*ERROR: name_sym_idx is -1!*/ /*C_NAME*/
  WRITE(() & 255, 5);
  NEWLINE();
  PRINTSTRING(_imp_str_literal("Line of failure ="));
      /*ERROR: name_sym_idx is -1!*/ /*C_NAME*/
  WRITE(, 4);
  NEWLINE();
  PRINTSTRING(_imp_str_literal("Test OK"));
  _imp_leave();
  exit(0);
  return (0);
}