BEGIN {
	# bwk accepts this silently:
	printf
	print "X"
}