/colortbl.awk/1.1.1.1/Tue Mar 9 12:05:28 2004// /stringize.awk/1.1.1.1/Tue Mar 9 12:05:28 2004// /typegraph.awk/1.1.1.1/Tue Mar 9 12:05:28 2004// D