def regex_token(p): return m.one(m.regex(p))
def svtok(*p): return m.ignore(m.one(m.verbatim(*p)))
def verbatim_token(*p): return m.one(m.verbatim(*p))