#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  static int X_sw;
  static void *X[4 /*1:4*/] = {
      &&X_1,
      &&X_2,
      &&X_default,
      &&X_4,
  };
  goto *X[X_sw = (3) - 1];
X_1:;
X_2:;
X_4:;
  Printstring(_imp_str_literal("OK"));
  Newline();
  goto X_skip;
X_default:
  fprintf(stderr, "\nSwitch label 'X(%d):' not set in %s\n", X_sw + 1,
          __PRETTY_FUNCTION__);
  fflush(stderr);
  abort();
X_skip:;
  exit(0);
  return (1);
}