my $thing = FOO;
print "Thing = ".$num_to_name[$thing]."\n";