#include <perms.h>
static _imp_string P2version = _imp_str_literal("4.13");
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  static const int Maxenvirs = 13;
  static const int Maxlabels = 80;
  exit(0);
  return (1);
}