Library for AWK.