#include <perms.h>
void OUT(int *X) {
  _imp_enter();
  WRITE(X, 2);
  _imp_leave();
}