print "bad type: $type"