henry (02/15/83)
Department of trivia: fixed a typo in the awk manual -- the syntax description for the printf statement left out the first comma.