#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  extern void OUT(int *X);
  auto void CALL(void (*DUMMY)(void), int *Q) {
    _imp_enter();
    % SPECDUMMY;
    DUMMY;
    _imp_leave();
  }
  int P;
  CALL(OUT(), P);
  _imp_leave();
  exit(0);
  return (0);
}