/colortbl.awk/1.1.1.1/Tue Apr 18 03:54:46 2000//
/stringize.awk/1.1.1.1/Tue Apr 18 03:54:46 2000//
/typegraph.awk/1.1.1.1/Tue Apr 18 03:54:46 2000//
D
