awk: add a comment