BEGIN { printf("%2.1d---%02.1d\n", 2, 2) }