1nawk: weird printf conversion %a
2 source line number 2
3%a42
4