/Decode.pmod/1.4/Wed Aug 19 08:09:36 1998//
/Encode.pmod/1.3/Fri Jun 12 23:00:45 1998//
/Types.pmod/1.4/Sun Jan 31 23:21:57 1999//
D
