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