#
# PRE: if-regex-match
#

#
#  Check that bad regular expressions will fail
#
if (User-Name =~ /[a-3]/) {	# ERROR
	ok
}
