#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  int *I;
  int *T1;
  _imp_string *S;
  _imp_string *T2;
  if (T1 != I || T2 != S) PRINTSTRING(_imp_str_literal("BUG1 FOUND"));
  if (T1 != I && T2 != S) PRINTSTRING(_imp_str_literal("BUG2 FOUND"));
  _imp_leave();
  exit(0);
  return (0);
}
