#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  typedef struct RF {
    char B2;
    char B3;
    short H0;

  } RF;
  static RF X1;
  static RF X2;
  auto int FRED(void) {
    _imp_enter();
    int K;
    RF R0;
    RF R1;
    RF R2;
    K = 13;
    R0.H0 = 12;
    X1.H0 = 17;
    X2 = X1;
    R1 = R0;
    R2 = R1;
    return (R2.H0);
    _imp_leave();
  }
  if (FRED() == 12 && X2.H0 == 17) PRINTSTRING(_imp_str_literal("Test OK"));
  _imp_leave();
  exit(0);
  return (0);
}