# Do nothing
NOTHING	no	Match empty string.
# A variant of above which delimits a group, thus stops optimizations
TAIL	no	Match empty string. Can jump here from outside.