path: root/test/intprec.awk

BEGIN { printf "%.10d:%.10x\n", 5, 14 }