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