#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  auto void TEST(int P, int *Q) {
    _imp_enter();
    P = 1;
    *Q = 1;
    _imp_leave();
  }
  int *J;
  int *K;
  int X;
  int Y;
  J = &X;
  K = &Y;
  TEST(X, Y);
  TEST(J, K);
  _imp_leave();
  exit(0);
  return (0);
}
