/Decode.pmod/1.19/Wed Apr 14 20:19:09 2004//
/Types.pmod/1.36/Wed Apr 14 20:18:57 2004//
/testsuite.in/1.7/Mon Feb 23 11:10:50 2004//
D
