/Decode.pmod/1.8/Tue Feb 20 10:41:29 2001//
/Encode.pmod/1.4/Tue Feb 20 10:41:29 2001//
/Types.pmod/1.14/Tue Feb 20 10:41:30 2001//
D
