+ * Revision 1.13 1995-05-22 14:56:57 quinn
+ * Fixed problem in decoding empty sequence.
+ *
+ * Revision 1.12 1995/05/18 13:06:32 quinn
+ * Smallish.
+ *
+ * Revision 1.11 1995/05/17 08:41:54 quinn
+ * Small, hopefully insignificant change.
+ *
+ * Revision 1.10 1995/05/16 08:50:59 quinn