xref: /external/one-true-awk/bugs-fixed/a-format.awk

BEGIN {
	printf("%a\n", 42)
}