#include <perms.h>
void PRINTWORD(_imp_string WORD) {
  _imp_enter();
  _imp_string WORD = _imp_str_literal("???");
  if (WORD == _imp_str_literal("+") || WORD == _imp_str_literal("-") ||
      WORD == _imp_str_literal("*") || WORD == _imp_str_literal("/") ||
      WORD == _imp_str_literal("<") || WORD == _imp_str_literal("<=") ||
      WORD == _imp_str_literal(">") || WORD == _imp_str_literal(">=") ||
      WORD == _imp_str_literal("=")) {
    {
      _imp_leave();
      return;
    }
  }
  _imp_leave();
}