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