def digit(): return satisfies(lambda l: l.isdigit())
def char_range(lower, upper): satisfies(lambda c: lower <= ord(c) <= upper)
def identifier_char1(): return satisfies(lambda l: l.isalpha() or l == "_")