#include <perms.h>
int _imp_mainep(int _imp_argc, char **_imp_argv) {
  _imp_enter();
  int I;
  I = 0;
  do {
    WRITE(I, 2);
    I = I + 1;
  } while (I != 4);
  PRINTSTRING(_imp_str_literal("\nTest OK"));
  _imp_leave();
  exit(0);
  return (0);
}