#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  auto void TEST(void (*PARAM)(int I)) {
    _imp_enter();
    PARAM(10);
    _imp_leave();
  }
  auto void A(void) {
    _imp_enter();
    int P;
    int Q;
    int R;
    P = 'P';
    Q = 'Q';
    R = 'R';
    auto void B(int A) {
      _imp_enter();
      if (P != 'P' || Q != 'Q' || R != 'R' || A != 10)
        PRINTSTRING(_imp_str_literal("FAILED"));
      else
        PRINTSTRING(_imp_str_literal("TEST OK"));
      _imp_leave();
    }
    TEST(B());
    _imp_leave();
  }
  A();
  _imp_leave();
  exit(0);
  return (0);
}