#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  int P[256 /*0:255*/][256 /*0:255*/];
  int I;
  P[100][200] = 42;
  I = P[100][200];
  exit(0);
  return (1);
}