#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  int X;
  auto int *R(void) {
    _imp_enter();
    return (&X);
    _imp_leave();
  }
  auto int *R1(int P1) {
    _imp_enter();
    return (&X);
    _imp_leave();
  }
  auto int *R2(int P1, int P2) {
    _imp_enter();
    return (&X);
    _imp_leave();
  }
  auto int *R3(int P1, int P2, int P3) {
    _imp_enter();
    return (&X);
    _imp_leave();
  }
  int I;
  I = 12;
  *R() = I;
  *R1(123) = I;
  *R2(23, 34) = I;
  *R3(34, 45, 56) = I;
  _imp_leave();
  exit(0);
  return (0);
}