awk/bugs-fixed/a-format.awk

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