#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  static _imp_string A = _imp_str_literal("0123456789");
  WRITE(LENGTH(A), 4);
  NEWLINE();
  PRINTSTRING(A);
  _imp_leave();
  exit(0);
  return (0);
}