#
#  PRE: if
#
if !(User-Name =~ /^\0/) {
	success
} else {
	test_fail
}