#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  int L;
  int M;
  int N;
  double X;
  int I;
  int J;
  L = 12345678;
  for (J = 0; J != 1 + 1; J += 1) {
    for (I = 0; I != 30 + 1; I += 1) {
      N = IEXP((-1), J) * (L >> I);
      X = N;
      M = INTPT(X);
      if (N != M) {
        _imp_monitor(0);
        WRITE(I, 1);
        SPACE();
        WRITE(N - M, 5);
        NEWLINE();
        exit(0);
      }
      M = INT(X);
      if (M != N) {
        _imp_monitor(0);
        WRITE(I, 1);
        SPACE();
        WRITE(N - M, 5);
        NEWLINE();
        exit(0);
      }
    }
  }
  PRINTSTRING(_imp_str_literal("TEST OK"));
  NEWLINE();
  _imp_leave();
  exit(0);
  return (0);
}