regex_syntax

# These bits are passed to regex.set_syntax() to choose among
# alternative regexp syntaxes.