#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  int J;
  int K;
  const char CB1 = 255;
  const char CB2 = 0;
  const int CINT3 = 10;
  const int CINT4 = 3;
  static int FAILURES = 0;
  auto void PASS(void) {
    _imp_enter();
    PRINTSTRING(_imp_str_literal("Pass: "));
    _imp_leave();
  }
  auto void FAIL(void) {
    _imp_enter();
    PRINTSTRING(_imp_str_literal("FAIL: "));
    FAILURES = FAILURES + 1;
    _imp_leave();
  }
  auto int F(void) {
    _imp_enter();
    return (3);
    _imp_leave();
  }
  OPENOUTPUT(2, _imp_str_literal("Journal"));
  SELECTOUTPUT(2);
  NEWLINES(2);
  PRINTSTRING(_imp_str_literal("INTEGER Arithmetic Validation"));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("============================="));
  NEWLINES(2);
  PRINTSTRING(_imp_str_literal("Entities:"));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("-------- "));
  NEWLINES(2);
  PRINTSTRING(_imp_str_literal("Constants:                      "));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("---------                       "));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("%Integer  CInt3 = 10               "));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("%Integer  CInt4 = 3                "));
  NEWLINES(2);
  NEWLINES(3);
  PRINTSTRING(_imp_str_literal("Variables: "));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("---------  "));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("%Integer J "));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("%Integer K "));
  NEWLINES(2);
  NEWLINES(4);
  PRINTSTRING(_imp_str_literal("Test the Six Simple Relational Comparators"));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("------------------------------------------"));
  NEWLINES(2);
  if (3 == 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 = 3"));
  NEWLINE();
  if (CINT4 == 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 = 3"));
  NEWLINE();
  if (3 == CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 = CInt4"));
  NEWLINE();
  if (CINT4 == CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 = CInt4"));
  NEWLINES(3);
  PRINTSTRING(_imp_str_literal("Let:    J = K = CInt4"));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("---"));
  NEWLINES(2);
  J = CINT4;
  K = CINT4;
  if (J == CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J = CInt4"));
  NEWLINE();
  if (CINT4 == J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 = J"));
  NEWLINE();
  if (J == K)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J = K"));
  NEWLINE();
  if (J == J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J = J"));
  NEWLINE();
  if (J == 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J = 3"));
  NEWLINE();
  if (3 == J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 = J"));
  NEWLINE();
  if (3 == F())
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 = F"));
  NEWLINE();
  if (F() == 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("F = 3"));
  NEWLINE();
  if (F() * 3 + 10 == F() * F() + 5 * 2)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("F * 3 + 10 = F * F + 5 * 2"));
  NEWLINES(2);
  if (3 != 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 # 3"));
  NEWLINE();
  if (CINT4 != 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 # 3"));
  NEWLINE();
  if (3 != CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 # CInt4"));
  NEWLINE();
  if (CINT4 != CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 # CInt4"));
  NEWLINE();
  if (J != CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J # CInt4"));
  NEWLINE();
  if (CINT4 != J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 # J"));
  NEWLINE();
  if (J != K)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J # K"));
  NEWLINE();
  if (J != J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J # J"));
  NEWLINE();
  if (J != 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J # 3"));
  NEWLINE();
  if (3 != J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 # J"));
  NEWLINE();
  if (3 != F())
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 # F"));
  NEWLINE();
  if (F() != 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("F # 3"));
  NEWLINES(2);
  J = CINT4;
  if (3 < 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 < 3"));
  NEWLINE();
  if (3 < J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 < J"));
  NEWLINE();
  if (J < 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J < 3"));
  NEWLINE();
  if (3 < CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 < CInt4"));
  NEWLINE();
  if (CINT4 < 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 < 3"));
  NEWLINE();
  if (J < CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J < CInt4"));
  NEWLINE();
  if (CINT4 < J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 < J"));
  NEWLINE();
  if (CINT4 < CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 < CInt4"));
  NEWLINE();
  if (J < J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J < J"));
  NEWLINE();
  if (F() < 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("F < 3"));
  NEWLINES(2);
  J = CINT4;
  if (3 <= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 <= 3"));
  NEWLINE();
  if (3 <= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 <= J"));
  NEWLINE();
  if (J <= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J <= 3"));
  NEWLINE();
  if (3 <= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 <= CInt4"));
  NEWLINE();
  if (CINT4 <= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 <= 3"));
  NEWLINE();
  if (J <= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J <= CInt4"));
  NEWLINE();
  if (CINT4 <= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 <= J"));
  NEWLINE();
  if (CINT4 <= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 <= CInt4"));
  NEWLINE();
  if (J <= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J <= J"));
  NEWLINE();
  if (F() <= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("F <= 3"));
  NEWLINES(2);
  J = CINT4;
  if (3 > 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 > 3"));
  NEWLINE();
  if (3 > J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 > J"));
  NEWLINE();
  if (J > 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J > 3"));
  NEWLINE();
  if (3 > CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 > CInt4"));
  NEWLINE();
  if (CINT4 > 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 > 3"));
  NEWLINE();
  if (J > CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J > CInt4"));
  NEWLINE();
  if (CINT4 > J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 > J"));
  NEWLINE();
  if (CINT4 > CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 > CInt4"));
  NEWLINE();
  if (J > J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J > J"));
  NEWLINE();
  if (F() > 3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("F > 3"));
  NEWLINES(2);
  J = CINT4;
  if (3 >= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 >= 3"));
  NEWLINE();
  if (3 >= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 >= J"));
  NEWLINE();
  if (J >= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J >= 3"));
  NEWLINE();
  if (3 >= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 >= CInt4"));
  NEWLINE();
  if (CINT4 >= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 >= 3"));
  NEWLINE();
  if (J >= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J >= CInt4"));
  NEWLINE();
  if (CINT4 >= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 >= J"));
  NEWLINE();
  if (CINT4 >= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 >= CInt4"));
  NEWLINE();
  if (J >= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J >= J"));
  NEWLINE();
  if (F() >= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("F >= 3"));
  NEWLINES(4);
  if (3 == 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 = 10"));
  NEWLINE();
  if (CINT4 == 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 = 10"));
  NEWLINE();
  if (10 == CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("10 = CInt4"));
  NEWLINE();
  if (CINT4 == CINT3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 = CInt3"));
  NEWLINES(2);
  PRINTSTRING(_imp_str_literal("Let:   J = CInt4"));
  NEWLINE();
  PRINTSTRING(_imp_str_literal("---    K  = CInt3"));
  NEWLINES(2);
  J = CINT4;
  K = CINT3;
  if (J == CINT3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J = CInt3"));
  NEWLINE();
  if (CINT3 == J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt3 = J"));
  NEWLINE();
  if (J == K)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J = K"));
  NEWLINE();
  if (J == 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J = 10"));
  NEWLINE();
  if (10 == J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("10 = J"));
  NEWLINES(2);
  if (3 != 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 # 10"));
  NEWLINE();
  if (CINT4 != 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 # 10"));
  NEWLINE();
  if (10 != CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("10 # CInt4"));
  NEWLINE();
  if (CINT4 != CINT3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 # CInt3"));
  NEWLINE();
  if (J != CINT3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J # CInt3"));
  NEWLINE();
  if (CINT3 != J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt3 # J"));
  NEWLINE();
  if (J != K)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J # K"));
  NEWLINE();
  if (J != 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J # 10"));
  NEWLINE();
  if (10 != J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("10 # J"));
  NEWLINES(2);
  if (3 < 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 < 10"));
  NEWLINE();
  if (10 < J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("10 < J"));
  NEWLINE();
  if (J < 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J < 10"));
  NEWLINE();
  if (10 < CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("10 < CInt4"));
  NEWLINE();
  if (CINT4 < 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 < 10"));
  NEWLINE();
  if (J < CINT3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J < CInt3"));
  NEWLINE();
  if (CINT3 < J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt3 < J"));
  NEWLINE();
  if (CINT4 < CINT3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 < CInt3"));
  NEWLINES(2);
  if (3 <= 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("3 <= 10"));
  NEWLINE();
  if (10 <= J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("10 <= J"));
  NEWLINE();
  if (J <= 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J <= 10"));
  NEWLINE();
  if (10 <= CINT4)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("10 <= CInt4"));
  NEWLINE();
  if (CINT4 <= 10)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 <= 10"));
  NEWLINE();
  if (J <= CINT3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J <= CInt3"));
  NEWLINE();
  if (CINT3 <= J)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt3 <= J"));
  NEWLINE();
  if (CINT4 <= CINT3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt4 <= CInt3"));
  NEWLINE();
  if (J <= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("J <= J"));
  NEWLINES(2);
  if (3 > 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 > 10"));
  NEWLINE();
  if (10 > J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("10 > J"));
  NEWLINE();
  if (J > 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J > 10"));
  NEWLINE();
  if (3 > CINT3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("3 > CInt3"));
  NEWLINE();
  if (CINT4 > 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 > 10"));
  NEWLINE();
  if (J > CINT3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J > CInt3"));
  NEWLINE();
  if (CINT3 > J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt3 > J"));
  NEWLINE();
  if (CINT4 > CINT3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("CInt4 > CInt3"));
  NEWLINES(2);
  if (10 >= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("10 >= 3"));
  NEWLINE();
  if (10 >= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("10 >= J"));
  NEWLINE();
  if (J >= 10)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J >= 10"));
  NEWLINE();
  if (10 >= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("10 >= CInt4"));
  NEWLINE();
  if (CINT3 >= 3)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt3 >= 3"));
  NEWLINE();
  if (J >= CINT3)
    FAIL();
  else
    PASS();
  PRINTSTRING(_imp_str_literal("J >= CInt3"));
  NEWLINE();
  if (CINT3 >= J)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt3 >= J"));
  NEWLINE();
  if (CINT3 >= CINT4)
    PASS();
  else
    FAIL();
  PRINTSTRING(_imp_str_literal("CInt3 >= CInt4"));
  NEWLINES(3);
  SELECTOUTPUT(0);
  WRITE(FAILURES, 1);
  PRINTSTRING(_imp_str_literal(" failure(s)"));
  NEWLINE();
  _imp_leave();
  exit(0);
  return (0);
}