1BEGIN {
2	printf("%a\n", 42)
3}
4