/convert-patterns.pl/1.3/Tue Mar 22 23:32:21 2005//
/main.cs/1.1/Tue Mar 22 22:52:16 2005//
/patternhelper.cs/1.2/Tue Mar 22 22:57:49 2005//
D
