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