1 files changed, 1089 insertions, 56 deletions

diff --git a/src/libstd/serialize.rs b/src/libstd/serialize.rs
index 1ad581ba993..33efb2c6a5a 100644
--- a/src/libstd/serialize.rs
+++ b/src/libstd/serialize.rs
@@ -25,6 +25,7 @@ use dlist::DList;
 #[cfg(stage3)]
 use treemap::{TreeMap, TreeSet};
 
+#[cfg(stage0)]
 pub trait Encoder {
     // Primitive types:
     fn emit_nil(&self);
@@ -48,11 +49,22 @@ pub trait Encoder {
     // Compound types:
     fn emit_enum(&self, name: &str, f: &fn());
 
-    fn emit_enum_variant(&self, v_name: &str, v_id: uint, len: uint, f: &fn());
+    fn emit_enum_variant(&self,
+                         v_name: &str,
+                         v_id: uint,
+                         len: uint,
+                         f: &fn());
     fn emit_enum_variant_arg(&self, a_idx: uint, f: &fn());
 
-    fn emit_enum_struct_variant(&self, v_name: &str, v_id: uint, len: uint, f: &fn());
-    fn emit_enum_struct_variant_field(&self, f_name: &str, f_idx: uint, f: &fn());
+    fn emit_enum_struct_variant(&self,
+                                v_name: &str,
+                                v_id: uint,
+                                len: uint,
+                                f: &fn());
+    fn emit_enum_struct_variant_field(&self,
+                                      f_name: &str,
+                                      f_idx: uint,
+                                      f: &fn());
 
     fn emit_struct(&self, name: &str, len: uint, f: &fn());
     #[cfg(stage0)]
@@ -81,6 +93,73 @@ pub trait Encoder {
     fn emit_map_elt_val(&self, idx: uint, f: &fn());
 }
 
+#[cfg(not(stage0))]
+pub trait Encoder {
+    // Primitive types:
+    fn emit_nil(&mut self);
+    fn emit_uint(&mut self, v: uint);
+    fn emit_u64(&mut self, v: u64);
+    fn emit_u32(&mut self, v: u32);
+    fn emit_u16(&mut self, v: u16);
+    fn emit_u8(&mut self, v: u8);
+    fn emit_int(&mut self, v: int);
+    fn emit_i64(&mut self, v: i64);
+    fn emit_i32(&mut self, v: i32);
+    fn emit_i16(&mut self, v: i16);
+    fn emit_i8(&mut self, v: i8);
+    fn emit_bool(&mut self, v: bool);
+    fn emit_float(&mut self, v: float);
+    fn emit_f64(&mut self, v: f64);
+    fn emit_f32(&mut self, v: f32);
+    fn emit_char(&mut self, v: char);
+    fn emit_str(&mut self, v: &str);
+
+    // Compound types:
+    fn emit_enum(&mut self, name: &str, f: &fn(&mut Self));
+
+    fn emit_enum_variant(&mut self,
+                         v_name: &str,
+                         v_id: uint,
+                         len: uint,
+                         f: &fn(&mut Self));
+    fn emit_enum_variant_arg(&mut self, a_idx: uint, f: &fn(&mut Self));
+
+    fn emit_enum_struct_variant(&mut self,
+                                v_name: &str,
+                                v_id: uint,
+                                len: uint,
+                                f: &fn(&mut Self));
+    fn emit_enum_struct_variant_field(&mut self,
+                                      f_name: &str,
+                                      f_idx: uint,
+                                      f: &fn(&mut Self));
+
+    fn emit_struct(&mut self, name: &str, len: uint, f: &fn(&mut Self));
+    fn emit_struct_field(&mut self,
+                         f_name: &str,
+                         f_idx: uint,
+                         f: &fn(&mut Self));
+
+    fn emit_tuple(&mut self, len: uint, f: &fn(&mut Self));
+    fn emit_tuple_arg(&mut self, idx: uint, f: &fn(&mut Self));
+
+    fn emit_tuple_struct(&mut self, name: &str, len: uint, f: &fn(&mut Self));
+    fn emit_tuple_struct_arg(&mut self, f_idx: uint, f: &fn(&mut Self));
+
+    // Specialized types:
+    fn emit_option(&mut self, f: &fn(&mut Self));
+    fn emit_option_none(&mut self);
+    fn emit_option_some(&mut self, f: &fn(&mut Self));
+
+    fn emit_seq(&mut self, len: uint, f: &fn(this: &mut Self));
+    fn emit_seq_elt(&mut self, idx: uint, f: &fn(this: &mut Self));
+
+    fn emit_map(&mut self, len: uint, f: &fn(&mut Self));
+    fn emit_map_elt_key(&mut self, idx: uint, f: &fn(&mut Self));
+    fn emit_map_elt_val(&mut self, idx: uint, f: &fn(&mut Self));
+}
+
+#[cfg(stage0)]
 pub trait Decoder {
     // Primitive types:
     fn read_nil(&self) -> ();
@@ -104,19 +183,37 @@ pub trait Decoder {
     // Compound types:
     fn read_enum<T>(&self, name: &str, f: &fn() -> T) -> T;
 
-    fn read_enum_variant<T>(&self, names: &[&str], f: &fn(uint) -> T) -> T;
+    fn read_enum_variant<T>(&self,
+                            names: &[&str],
+                            f: &fn(uint) -> T)
+                            -> T;
     fn read_enum_variant_arg<T>(&self, a_idx: uint, f: &fn() -> T) -> T;
 
-    fn read_enum_struct_variant<T>(&self, names: &[&str], f: &fn(uint) -> T) -> T;
-    fn read_enum_struct_variant_field<T>(&self, &f_name: &str, f_idx: uint, f: &fn() -> T) -> T;
+    fn read_enum_struct_variant<T>(&self,
+                                   names: &[&str],
+                                   f: &fn(uint) -> T)
+                                   -> T;
+    fn read_enum_struct_variant_field<T>(&self,
+                                         &f_name: &str,
+                                         f_idx: uint,
+                                         f: &fn() -> T)
+                                         -> T;
 
     fn read_struct<T>(&self, s_name: &str, len: uint, f: &fn() -> T) -> T;
     #[cfg(stage0)]
-    fn read_field<T>(&self, f_name: &str, f_idx: uint, f: &fn() -> T) -> T;
+    fn read_field<T>(&self,
+                     f_name: &str,
+                     f_idx: uint,
+                     f: &fn() -> T)
+                     -> T;
     #[cfg(stage1)]
     #[cfg(stage2)]
     #[cfg(stage3)]
-    fn read_struct_field<T>(&self, f_name: &str, f_idx: uint, f: &fn() -> T) -> T;
+    fn read_struct_field<T>(&self,
+                            f_name: &str,
+                            f_idx: uint,
+                            f: &fn() -> T)
+                            -> T;
 
     fn read_tuple<T>(&self, f: &fn(uint) -> T) -> T;
     fn read_tuple_arg<T>(&self, a_idx: uint, f: &fn() -> T) -> T;
@@ -135,215 +232,673 @@ pub trait Decoder {
     fn read_map_elt_val<T>(&self, idx: uint, f: &fn() -> T) -> T;
 }
 
+#[cfg(not(stage0))]
+pub trait Decoder {
+    // Primitive types:
+    fn read_nil(&mut self) -> ();
+    fn read_uint(&mut self) -> uint;
+    fn read_u64(&mut self) -> u64;
+    fn read_u32(&mut self) -> u32;
+    fn read_u16(&mut self) -> u16;
+    fn read_u8(&mut self) -> u8;
+    fn read_int(&mut self) -> int;
+    fn read_i64(&mut self) -> i64;
+    fn read_i32(&mut self) -> i32;
+    fn read_i16(&mut self) -> i16;
+    fn read_i8(&mut self) -> i8;
+    fn read_bool(&mut self) -> bool;
+    fn read_f64(&mut self) -> f64;
+    fn read_f32(&mut self) -> f32;
+    fn read_float(&mut self) -> float;
+    fn read_char(&mut self) -> char;
+    fn read_str(&mut self) -> ~str;
+
+    // Compound types:
+    fn read_enum<T>(&mut self, name: &str, f: &fn(&mut Self) -> T) -> T;
+
+    fn read_enum_variant<T>(&mut self,
+                            names: &[&str],
+                            f: &fn(&mut Self, uint) -> T)
+                            -> T;
+    fn read_enum_variant_arg<T>(&mut self,
+                                a_idx: uint,
+                                f: &fn(&mut Self) -> T)
+                                -> T;
+
+    fn read_enum_struct_variant<T>(&mut self,
+                                   names: &[&str],
+                                   f: &fn(&mut Self, uint) -> T)
+                                   -> T;
+    fn read_enum_struct_variant_field<T>(&mut self,
+                                         &f_name: &str,
+                                         f_idx: uint,
+                                         f: &fn(&mut Self) -> T)
+                                         -> T;
+
+    fn read_struct<T>(&mut self,
+                      s_name: &str,
+                      len: uint,
+                      f: &fn(&mut Self) -> T)
+                      -> T;
+    #[cfg(stage0)]
+    fn read_field<T>(&mut self,
+                     f_name: &str,
+                     f_idx: uint,
+                     f: &fn() -> T)
+                     -> T;
+    #[cfg(stage1)]
+    #[cfg(stage2)]
+    #[cfg(stage3)]
+    fn read_struct_field<T>(&mut self,
+                            f_name: &str,
+                            f_idx: uint,
+                            f: &fn(&mut Self) -> T)
+                            -> T;
+
+    fn read_tuple<T>(&mut self, f: &fn(&mut Self, uint) -> T) -> T;
+    fn read_tuple_arg<T>(&mut self, a_idx: uint, f: &fn(&mut Self) -> T) -> T;
+
+    fn read_tuple_struct<T>(&mut self,
+                            s_name: &str,
+                            f: &fn(&mut Self, uint) -> T)
+                            -> T;
+    fn read_tuple_struct_arg<T>(&mut self,
+                                a_idx: uint,
+                                f: &fn(&mut Self) -> T)
+                                -> T;
+
+    // Specialized types:
+    fn read_option<T>(&mut self, f: &fn(&mut Self, bool) -> T) -> T;
+
+    fn read_seq<T>(&mut self, f: &fn(&mut Self, uint) -> T) -> T;
+    fn read_seq_elt<T>(&mut self, idx: uint, f: &fn(&mut Self) -> T) -> T;
+
+    fn read_map<T>(&mut self, f: &fn(&mut Self, uint) -> T) -> T;
+    fn read_map_elt_key<T>(&mut self, idx: uint, f: &fn(&mut Self) -> T) -> T;
+    fn read_map_elt_val<T>(&mut self, idx: uint, f: &fn(&mut Self) -> T) -> T;
+}
+
+#[cfg(stage0)]
 pub trait Encodable<S:Encoder> {
     fn encode(&self, s: &S);
 }
 
+#[cfg(not(stage0))]
+pub trait Encodable<S:Encoder> {
+    fn encode(&self, s: &mut S);
+}
+
+#[cfg(stage0)]
 pub trait Decodable<D:Decoder> {
     fn decode(d: &D) -> Self;
 }
 
+#[cfg(not(stage0))]
+pub trait Decodable<D:Decoder> {
+    fn decode(d: &mut D) -> Self;
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for uint {
-    fn encode(&self, s: &S) { s.emit_uint(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_uint(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for uint {
+    fn encode(&self, s: &mut S) {
+        s.emit_uint(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for uint {
     fn decode(d: &D) -> uint {
         d.read_uint()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for uint {
+    fn decode(d: &mut D) -> uint {
+        d.read_uint()
+    }
+}
+
+#[cfg(stage0)]
+impl<S:Encoder> Encodable<S> for u8 {
+    fn encode(&self, s: &S) {
+        s.emit_u8(*self)
+    }
+}
+
+#[cfg(not(stage0))]
 impl<S:Encoder> Encodable<S> for u8 {
-    fn encode(&self, s: &S) { s.emit_u8(*self) }
+    fn encode(&self, s: &mut S) {
+        s.emit_u8(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for u8 {
     fn decode(d: &D) -> u8 {
         d.read_u8()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for u8 {
+    fn decode(d: &mut D) -> u8 {
+        d.read_u8()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for u16 {
-    fn encode(&self, s: &S) { s.emit_u16(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_u16(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for u16 {
+    fn encode(&self, s: &mut S) {
+        s.emit_u16(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for u16 {
     fn decode(d: &D) -> u16 {
         d.read_u16()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for u16 {
+    fn decode(d: &mut D) -> u16 {
+        d.read_u16()
+    }
+}
+
+#[cfg(stage0)]
+impl<S:Encoder> Encodable<S> for u32 {
+    fn encode(&self, s: &S) {
+        s.emit_u32(*self)
+    }
+}
+
+#[cfg(not(stage0))]
 impl<S:Encoder> Encodable<S> for u32 {
-    fn encode(&self, s: &S) { s.emit_u32(*self) }
+    fn encode(&self, s: &mut S) {
+        s.emit_u32(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for u32 {
     fn decode(d: &D) -> u32 {
         d.read_u32()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for u32 {
+    fn decode(d: &mut D) -> u32 {
+        d.read_u32()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for u64 {
-    fn encode(&self, s: &S) { s.emit_u64(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_u64(*self)
+    }
+}
+
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for u64 {
+    fn encode(&self, s: &mut S) {
+        s.emit_u64(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for u64 {
     fn decode(d: &D) -> u64 {
         d.read_u64()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for u64 {
+    fn decode(d: &mut D) -> u64 {
+        d.read_u64()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for int {
-    fn encode(&self, s: &S) { s.emit_int(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_int(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for int {
+    fn encode(&self, s: &mut S) {
+        s.emit_int(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for int {
     fn decode(d: &D) -> int {
         d.read_int()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for int {
+    fn decode(d: &mut D) -> int {
+        d.read_int()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for i8 {
-    fn encode(&self, s: &S) { s.emit_i8(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_i8(*self)
+    }
+}
+
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for i8 {
+    fn encode(&self, s: &mut S) {
+        s.emit_i8(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for i8 {
     fn decode(d: &D) -> i8 {
         d.read_i8()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for i8 {
+    fn decode(d: &mut D) -> i8 {
+        d.read_i8()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for i16 {
-    fn encode(&self, s: &S) { s.emit_i16(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_i16(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for i16 {
+    fn encode(&self, s: &mut S) {
+        s.emit_i16(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for i16 {
     fn decode(d: &D) -> i16 {
         d.read_i16()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for i16 {
+    fn decode(d: &mut D) -> i16 {
+        d.read_i16()
+    }
+}
+
+#[cfg(stage0)]
+impl<S:Encoder> Encodable<S> for i32 {
+    fn encode(&self, s: &S) {
+        s.emit_i32(*self)
+    }
+}
+
+#[cfg(not(stage0))]
 impl<S:Encoder> Encodable<S> for i32 {
-    fn encode(&self, s: &S) { s.emit_i32(*self) }
+    fn encode(&self, s: &mut S) {
+        s.emit_i32(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for i32 {
     fn decode(d: &D) -> i32 {
         d.read_i32()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for i32 {
+    fn decode(d: &mut D) -> i32 {
+        d.read_i32()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for i64 {
-    fn encode(&self, s: &S) { s.emit_i64(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_i64(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for i64 {
+    fn encode(&self, s: &mut S) {
+        s.emit_i64(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for i64 {
     fn decode(d: &D) -> i64 {
         d.read_i64()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for i64 {
+    fn decode(d: &mut D) -> i64 {
+        d.read_i64()
+    }
+}
+
+#[cfg(stage0)]
 impl<'self, S:Encoder> Encodable<S> for &'self str {
-    fn encode(&self, s: &S) { s.emit_str(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_str(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<'self, S:Encoder> Encodable<S> for &'self str {
+    fn encode(&self, s: &mut S) {
+        s.emit_str(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for ~str {
-    fn encode(&self, s: &S) { s.emit_str(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_str(*self)
+    }
+}
+
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for ~str {
+    fn encode(&self, s: &mut S) {
+        s.emit_str(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for ~str {
     fn decode(d: &D) -> ~str {
         d.read_str()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for ~str {
+    fn decode(d: &mut D) -> ~str {
+        d.read_str()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for @str {
-    fn encode(&self, s: &S) { s.emit_str(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_str(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for @str {
+    fn encode(&self, s: &mut S) {
+        s.emit_str(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for @str {
-    fn decode(d: &D) -> @str { d.read_str().to_managed() }
+    fn decode(d: &D) -> @str {
+        d.read_str().to_managed()
+    }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for @str {
+    fn decode(d: &mut D) -> @str {
+        d.read_str().to_managed()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for float {
-    fn encode(&self, s: &S) { s.emit_float(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_float(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for float {
+    fn encode(&self, s: &mut S) {
+        s.emit_float(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for float {
     fn decode(d: &D) -> float {
         d.read_float()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for float {
+    fn decode(d: &mut D) -> float {
+        d.read_float()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for f32 {
-    fn encode(&self, s: &S) { s.emit_f32(*self) }
+    fn encode(&self, s: &S) {
+        s.emit_f32(*self)
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for f32 {
+    fn encode(&self, s: &mut S) {
+        s.emit_f32(*self)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for f32 {
     fn decode(d: &D) -> f32 {
-        d.read_f32() }
+        d.read_f32()
+    }
+}
+
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for f32 {
+    fn decode(d: &mut D) -> f32 {
+        d.read_f32()
+    }
+}
+
+#[cfg(stage0)]
+impl<S:Encoder> Encodable<S> for f64 {
+    fn encode(&self, s: &S) {
+        s.emit_f64(*self)
+    }
 }
 
+#[cfg(not(stage0))]
 impl<S:Encoder> Encodable<S> for f64 {
-    fn encode(&self, s: &S) { s.emit_f64(*self) }
+    fn encode(&self, s: &mut S) {
+        s.emit_f64(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for f64 {
     fn decode(d: &D) -> f64 {
         d.read_f64()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for f64 {
+    fn decode(d: &mut D) -> f64 {
+        d.read_f64()
+    }
+}
+
+#[cfg(stage0)]
+impl<S:Encoder> Encodable<S> for bool {
+    fn encode(&self, s: &S) {
+        s.emit_bool(*self)
+    }
+}
+
+#[cfg(not(stage0))]
 impl<S:Encoder> Encodable<S> for bool {
-    fn encode(&self, s: &S) { s.emit_bool(*self) }
+    fn encode(&self, s: &mut S) {
+        s.emit_bool(*self)
+    }
 }
 
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for bool {
     fn decode(d: &D) -> bool {
         d.read_bool()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for bool {
+    fn decode(d: &mut D) -> bool {
+        d.read_bool()
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> Encodable<S> for () {
-    fn encode(&self, s: &S) { s.emit_nil() }
+    fn encode(&self, s: &S) {
+        s.emit_nil()
+    }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> Encodable<S> for () {
+    fn encode(&self, s: &mut S) {
+        s.emit_nil()
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> Decodable<D> for () {
     fn decode(d: &D) -> () {
         d.read_nil()
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder> Decodable<D> for () {
+    fn decode(d: &mut D) -> () {
+        d.read_nil()
+    }
+}
+
+#[cfg(stage0)]
 impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self T {
     fn encode(&self, s: &S) {
         (**self).encode(s)
     }
 }
 
+#[cfg(not(stage0))]
+impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self T {
+    fn encode(&self, s: &mut S) {
+        (**self).encode(s)
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~T {
     fn encode(&self, s: &S) {
         (**self).encode(s)
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~T {
+    fn encode(&self, s: &mut S) {
+        (**self).encode(s)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~T {
     fn decode(d: &D) -> ~T {
         ~Decodable::decode(d)
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~T {
+    fn decode(d: &mut D) -> ~T {
+        ~Decodable::decode(d)
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder,T:Encodable<S>> Encodable<S> for @T {
     fn encode(&self, s: &S) {
         (**self).encode(s)
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder,T:Encodable<S>> Encodable<S> for @T {
+    fn encode(&self, s: &mut S) {
+        (**self).encode(s)
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for @T {
     fn decode(d: &D) -> @T {
         @Decodable::decode(d)
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for @T {
+    fn decode(d: &mut D) -> @T {
+        @Decodable::decode(d)
+    }
+}
+
+#[cfg(stage0)]
 impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self [T] {
     fn encode(&self, s: &S) {
         do s.emit_seq(self.len()) {
@@ -354,6 +909,18 @@ impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self [T] {
     }
 }
 
+#[cfg(not(stage0))]
+impl<'self, S:Encoder,T:Encodable<S>> Encodable<S> for &'self [T] {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
+            for self.eachi |i, e| {
+                s.emit_seq_elt(i, |s| e.encode(s))
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~[T] {
     fn encode(&self, s: &S) {
         do s.emit_seq(self.len()) {
@@ -364,6 +931,18 @@ impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~[T] {
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder,T:Encodable<S>> Encodable<S> for ~[T] {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
+            for self.eachi |i, e| {
+                s.emit_seq_elt(i, |s| e.encode(s))
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~[T] {
     fn decode(d: &D) -> ~[T] {
         do d.read_seq |len| {
@@ -374,6 +953,18 @@ impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~[T] {
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for ~[T] {
+    fn decode(d: &mut D) -> ~[T] {
+        do d.read_seq |d, len| {
+            do vec::from_fn(len) |i| {
+                d.read_seq_elt(i, |d| Decodable::decode(d))
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder,T:Encodable<S>> Encodable<S> for @[T] {
     fn encode(&self, s: &S) {
         do s.emit_seq(self.len()) {
@@ -384,6 +975,18 @@ impl<S:Encoder,T:Encodable<S>> Encodable<S> for @[T] {
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder,T:Encodable<S>> Encodable<S> for @[T] {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
+            for self.eachi |i, e| {
+                s.emit_seq_elt(i, |s| e.encode(s))
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for @[T] {
     fn decode(d: &D) -> @[T] {
         do d.read_seq |len| {
@@ -394,6 +997,18 @@ impl<D:Decoder,T:Decodable<D>> Decodable<D> for @[T] {
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for @[T] {
+    fn decode(d: &mut D) -> @[T] {
+        do d.read_seq |d, len| {
+            do at_vec::from_fn(len) |i| {
+                d.read_seq_elt(i, |d| Decodable::decode(d))
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder,T:Encodable<S>> Encodable<S> for Option<T> {
     fn encode(&self, s: &S) {
         do s.emit_option {
@@ -405,6 +1020,19 @@ impl<S:Encoder,T:Encodable<S>> Encodable<S> for Option<T> {
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder,T:Encodable<S>> Encodable<S> for Option<T> {
+    fn encode(&self, s: &mut S) {
+        do s.emit_option |s| {
+            match *self {
+                None => s.emit_option_none(),
+                Some(ref v) => s.emit_option_some(|s| v.encode(s)),
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for Option<T> {
     fn decode(d: &D) -> Option<T> {
         do d.read_option |b| {
@@ -417,6 +1045,20 @@ impl<D:Decoder,T:Decodable<D>> Decodable<D> for Option<T> {
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for Option<T> {
+    fn decode(d: &mut D) -> Option<T> {
+        do d.read_option |d, b| {
+            if b {
+                Some(Decodable::decode(d))
+            } else {
+                None
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<S:Encoder,T0:Encodable<S>,T1:Encodable<S>> Encodable<S> for (T0, T1) {
     fn encode(&self, s: &S) {
         match *self {
@@ -430,6 +1072,21 @@ impl<S:Encoder,T0:Encodable<S>,T1:Encodable<S>> Encodable<S> for (T0, T1) {
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder,T0:Encodable<S>,T1:Encodable<S>> Encodable<S> for (T0, T1) {
+    fn encode(&self, s: &mut S) {
+        match *self {
+            (ref t0, ref t1) => {
+                do s.emit_seq(2) |s| {
+                    s.emit_seq_elt(0, |s| t0.encode(s));
+                    s.emit_seq_elt(1, |s| t1.encode(s));
+                }
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T0:Decodable<D>,T1:Decodable<D>> Decodable<D> for (T0, T1) {
     fn decode(d: &D) -> (T0, T1) {
         do d.read_seq |len| {
@@ -442,6 +1099,20 @@ impl<D:Decoder,T0:Decodable<D>,T1:Decodable<D>> Decodable<D> for (T0, T1) {
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T0:Decodable<D>,T1:Decodable<D>> Decodable<D> for (T0, T1) {
+    fn decode(d: &mut D) -> (T0, T1) {
+        do d.read_seq |d, len| {
+            assert!(len == 2);
+            (
+                d.read_seq_elt(0, |d| Decodable::decode(d)),
+                d.read_seq_elt(1, |d| Decodable::decode(d))
+            )
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     S: Encoder,
     T0: Encodable<S>,
@@ -461,6 +1132,27 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    S: Encoder,
+    T0: Encodable<S>,
+    T1: Encodable<S>,
+    T2: Encodable<S>
+> Encodable<S> for (T0, T1, T2) {
+    fn encode(&self, s: &mut S) {
+        match *self {
+            (ref t0, ref t1, ref t2) => {
+                do s.emit_seq(3) |s| {
+                    s.emit_seq_elt(0, |s| t0.encode(s));
+                    s.emit_seq_elt(1, |s| t1.encode(s));
+                    s.emit_seq_elt(2, |s| t2.encode(s));
+                }
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     D: Decoder,
     T0: Decodable<D>,
@@ -479,6 +1171,26 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    D: Decoder,
+    T0: Decodable<D>,
+    T1: Decodable<D>,
+    T2: Decodable<D>
+> Decodable<D> for (T0, T1, T2) {
+    fn decode(d: &mut D) -> (T0, T1, T2) {
+        do d.read_seq |d, len| {
+            assert!(len == 3);
+            (
+                d.read_seq_elt(0, |d| Decodable::decode(d)),
+                d.read_seq_elt(1, |d| Decodable::decode(d)),
+                d.read_seq_elt(2, |d| Decodable::decode(d))
+            )
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     S: Encoder,
     T0: Encodable<S>,
@@ -500,6 +1212,29 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    S: Encoder,
+    T0: Encodable<S>,
+    T1: Encodable<S>,
+    T2: Encodable<S>,
+    T3: Encodable<S>
+> Encodable<S> for (T0, T1, T2, T3) {
+    fn encode(&self, s: &mut S) {
+        match *self {
+            (ref t0, ref t1, ref t2, ref t3) => {
+                do s.emit_seq(4) |s| {
+                    s.emit_seq_elt(0, |s| t0.encode(s));
+                    s.emit_seq_elt(1, |s| t1.encode(s));
+                    s.emit_seq_elt(2, |s| t2.encode(s));
+                    s.emit_seq_elt(3, |s| t3.encode(s));
+                }
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     D: Decoder,
     T0: Decodable<D>,
@@ -520,6 +1255,28 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    D: Decoder,
+    T0: Decodable<D>,
+    T1: Decodable<D>,
+    T2: Decodable<D>,
+    T3: Decodable<D>
+> Decodable<D> for (T0, T1, T2, T3) {
+    fn decode(d: &mut D) -> (T0, T1, T2, T3) {
+        do d.read_seq |d, len| {
+            assert!(len == 4);
+            (
+                d.read_seq_elt(0, |d| Decodable::decode(d)),
+                d.read_seq_elt(1, |d| Decodable::decode(d)),
+                d.read_seq_elt(2, |d| Decodable::decode(d)),
+                d.read_seq_elt(3, |d| Decodable::decode(d))
+            )
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     S: Encoder,
     T0: Encodable<S>,
@@ -543,6 +1300,31 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    S: Encoder,
+    T0: Encodable<S>,
+    T1: Encodable<S>,
+    T2: Encodable<S>,
+    T3: Encodable<S>,
+    T4: Encodable<S>
+> Encodable<S> for (T0, T1, T2, T3, T4) {
+    fn encode(&self, s: &mut S) {
+        match *self {
+            (ref t0, ref t1, ref t2, ref t3, ref t4) => {
+                do s.emit_seq(5) |s| {
+                    s.emit_seq_elt(0, |s| t0.encode(s));
+                    s.emit_seq_elt(1, |s| t1.encode(s));
+                    s.emit_seq_elt(2, |s| t2.encode(s));
+                    s.emit_seq_elt(3, |s| t3.encode(s));
+                    s.emit_seq_elt(4, |s| t4.encode(s));
+                }
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     D: Decoder,
     T0: Decodable<D>,
@@ -551,8 +1333,7 @@ impl<
     T3: Decodable<D>,
     T4: Decodable<D>
 > Decodable<D> for (T0, T1, T2, T3, T4) {
-    fn decode(d: &D)
-      -> (T0, T1, T2, T3, T4) {
+    fn decode(d: &D) -> (T0, T1, T2, T3, T4) {
         do d.read_seq |len| {
             assert!(len == 5);
             (
@@ -566,6 +1347,30 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    D: Decoder,
+    T0: Decodable<D>,
+    T1: Decodable<D>,
+    T2: Decodable<D>,
+    T3: Decodable<D>,
+    T4: Decodable<D>
+> Decodable<D> for (T0, T1, T2, T3, T4) {
+    fn decode(d: &mut D) -> (T0, T1, T2, T3, T4) {
+        do d.read_seq |d, len| {
+            assert!(len == 5);
+            (
+                d.read_seq_elt(0, |d| Decodable::decode(d)),
+                d.read_seq_elt(1, |d| Decodable::decode(d)),
+                d.read_seq_elt(2, |d| Decodable::decode(d)),
+                d.read_seq_elt(3, |d| Decodable::decode(d)),
+                d.read_seq_elt(4, |d| Decodable::decode(d))
+            )
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     S: Encoder,
     T: Encodable<S> + Copy
@@ -581,6 +1386,23 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    S: Encoder,
+    T: Encodable<S> + Copy
+> Encodable<S> for @mut DList<T> {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.size) |s| {
+            let mut i = 0;
+            for self.each |e| {
+                s.emit_seq_elt(i, |s| e.encode(s));
+                i += 1;
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for @mut DList<T> {
     fn decode(d: &D) -> @mut DList<T> {
         let list = DList();
@@ -593,6 +1415,20 @@ impl<D:Decoder,T:Decodable<D>> Decodable<D> for @mut DList<T> {
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for @mut DList<T> {
+    fn decode(d: &mut D) -> @mut DList<T> {
+        let list = DList();
+        do d.read_seq |d, len| {
+            for uint::range(0, len) |i| {
+                list.push(d.read_seq_elt(i, |d| Decodable::decode(d)));
+            }
+        }
+        list
+    }
+}
+
+#[cfg(stage0)]
 impl<
     S: Encoder,
     T: Encodable<S>
@@ -606,6 +1442,21 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    S: Encoder,
+    T: Encodable<S>
+> Encodable<S> for Deque<T> {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
+            for self.eachi |i, e| {
+                s.emit_seq_elt(i, |s| e.encode(s));
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D:Decoder,T:Decodable<D>> Decodable<D> for Deque<T> {
     fn decode(d: &D) -> Deque<T> {
         let mut deque = Deque::new();
@@ -618,6 +1469,20 @@ impl<D:Decoder,T:Decodable<D>> Decodable<D> for Deque<T> {
     }
 }
 
+#[cfg(not(stage0))]
+impl<D:Decoder,T:Decodable<D>> Decodable<D> for Deque<T> {
+    fn decode(d: &mut D) -> Deque<T> {
+        let mut deque = Deque::new();
+        do d.read_seq |d, len| {
+            for uint::range(0, len) |i| {
+                deque.add_back(d.read_seq_elt(i, |d| Decodable::decode(d)));
+            }
+        }
+        deque
+    }
+}
+
+#[cfg(stage0)]
 impl<
     E: Encoder,
     K: Encodable<E> + Hash + IterBytes + Eq,
@@ -635,6 +1500,25 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    E: Encoder,
+    K: Encodable<E> + Hash + IterBytes + Eq,
+    V: Encodable<E>
+> Encodable<E> for HashMap<K, V> {
+    fn encode(&self, e: &mut E) {
+        do e.emit_map(self.len()) |e| {
+            let mut i = 0;
+            for self.each |key, val| {
+                e.emit_map_elt_key(i, |e| key.encode(e));
+                e.emit_map_elt_val(i, |e| val.encode(e));
+                i += 1;
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     D: Decoder,
     K: Decodable<D> + Hash + IterBytes + Eq,
@@ -653,6 +1537,26 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    D: Decoder,
+    K: Decodable<D> + Hash + IterBytes + Eq,
+    V: Decodable<D>
+> Decodable<D> for HashMap<K, V> {
+    fn decode(d: &mut D) -> HashMap<K, V> {
+        do d.read_map |d, len| {
+            let mut map = HashMap::with_capacity(len);
+            for uint::range(0, len) |i| {
+                let key = d.read_map_elt_key(i, |d| Decodable::decode(d));
+                let val = d.read_map_elt_val(i, |d| Decodable::decode(d));
+                map.insert(key, val);
+            }
+            map
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     S: Encoder,
     T: Encodable<S> + Hash + IterBytes + Eq
@@ -668,6 +1572,23 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    S: Encoder,
+    T: Encodable<S> + Hash + IterBytes + Eq
+> Encodable<S> for HashSet<T> {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
+            let mut i = 0;
+            for self.each |e| {
+                s.emit_seq_elt(i, |s| e.encode(s));
+                i += 1;
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     D: Decoder,
     T: Decodable<D> + Hash + IterBytes + Eq
@@ -683,6 +1604,23 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    D: Decoder,
+    T: Decodable<D> + Hash + IterBytes + Eq
+> Decodable<D> for HashSet<T> {
+    fn decode(d: &mut D) -> HashSet<T> {
+        do d.read_seq |d, len| {
+            let mut set = HashSet::with_capacity(len);
+            for uint::range(0, len) |i| {
+                set.insert(d.read_seq_elt(i, |d| Decodable::decode(d)));
+            }
+            set
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     E: Encoder,
     V: Encodable<E>
@@ -699,6 +1637,24 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    E: Encoder,
+    V: Encodable<E>
+> Encodable<E> for TrieMap<V> {
+    fn encode(&self, e: &mut E) {
+        do e.emit_map(self.len()) |e| {
+            let mut i = 0;
+            for self.each |key, val| {
+                e.emit_map_elt_key(i, |e| key.encode(e));
+                e.emit_map_elt_val(i, |e| val.encode(e));
+                i += 1;
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<
     D: Decoder,
     V: Decodable<D>
@@ -716,6 +1672,25 @@ impl<
     }
 }
 
+#[cfg(not(stage0))]
+impl<
+    D: Decoder,
+    V: Decodable<D>
+> Decodable<D> for TrieMap<V> {
+    fn decode(d: &mut D) -> TrieMap<V> {
+        do d.read_map |d, len| {
+            let mut map = TrieMap::new();
+            for uint::range(0, len) |i| {
+                let key = d.read_map_elt_key(i, |d| Decodable::decode(d));
+                let val = d.read_map_elt_val(i, |d| Decodable::decode(d));
+                map.insert(key, val);
+            }
+            map
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<S: Encoder> Encodable<S> for TrieSet {
     fn encode(&self, s: &S) {
         do s.emit_seq(self.len()) {
@@ -728,6 +1703,20 @@ impl<S: Encoder> Encodable<S> for TrieSet {
     }
 }
 
+#[cfg(not(stage0))]
+impl<S: Encoder> Encodable<S> for TrieSet {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
+            let mut i = 0;
+            for self.each |e| {
+                s.emit_seq_elt(i, |s| e.encode(s));
+                i += 1;
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 impl<D: Decoder> Decodable<D> for TrieSet {
     fn decode(d: &D) -> TrieSet {
         do d.read_seq |len| {
@@ -740,40 +1729,49 @@ impl<D: Decoder> Decodable<D> for TrieSet {
     }
 }
 
-#[cfg(stage1)]
-#[cfg(stage2)]
-#[cfg(stage3)]
+#[cfg(not(stage0))]
+impl<D: Decoder> Decodable<D> for TrieSet {
+    fn decode(d: &mut D) -> TrieSet {
+        do d.read_seq |d, len| {
+            let mut set = TrieSet::new();
+            for uint::range(0, len) |i| {
+                set.insert(d.read_seq_elt(i, |d| Decodable::decode(d)));
+            }
+            set
+        }
+    }
+}
+
+#[cfg(not(stage0))]
 impl<
     E: Encoder,
     K: Encodable<E> + Eq + TotalOrd,
     V: Encodable<E> + Eq
 > Encodable<E> for TreeMap<K, V> {
-    fn encode(&self, e: &E) {
-        do e.emit_map(self.len()) {
+    fn encode(&self, e: &mut E) {
+        do e.emit_map(self.len()) |e| {
             let mut i = 0;
             for self.each |key, val| {
-                e.emit_map_elt_key(i, || key.encode(e));
-                e.emit_map_elt_val(i, || val.encode(e));
+                e.emit_map_elt_key(i, |e| key.encode(e));
+                e.emit_map_elt_val(i, |e| val.encode(e));
                 i += 1;
             }
         }
     }
 }
 
-#[cfg(stage1)]
-#[cfg(stage2)]
-#[cfg(stage3)]
+#[cfg(not(stage0))]
 impl<
     D: Decoder,
     K: Decodable<D> + Eq + TotalOrd,
     V: Decodable<D> + Eq
 > Decodable<D> for TreeMap<K, V> {
-    fn decode(d: &D) -> TreeMap<K, V> {
-        do d.read_map |len| {
+    fn decode(d: &mut D) -> TreeMap<K, V> {
+        do d.read_map |d, len| {
             let mut map = TreeMap::new();
             for uint::range(0, len) |i| {
-                let key = d.read_map_elt_key(i, || Decodable::decode(d));
-                let val = d.read_map_elt_val(i, || Decodable::decode(d));
+                let key = d.read_map_elt_key(i, |d| Decodable::decode(d));
+                let val = d.read_map_elt_val(i, |d| Decodable::decode(d));
                 map.insert(key, val);
             }
             map
@@ -781,36 +1779,32 @@ impl<
     }
 }
 
-#[cfg(stage1)]
-#[cfg(stage2)]
-#[cfg(stage3)]
+#[cfg(not(stage0))]
 impl<
     S: Encoder,
     T: Encodable<S> + Eq + TotalOrd
 > Encodable<S> for TreeSet<T> {
-    fn encode(&self, s: &S) {
-        do s.emit_seq(self.len()) {
+    fn encode(&self, s: &mut S) {
+        do s.emit_seq(self.len()) |s| {
             let mut i = 0;
             for self.each |e| {
-                s.emit_seq_elt(i, || e.encode(s));
+                s.emit_seq_elt(i, |s| e.encode(s));
                 i += 1;
             }
         }
     }
 }
 
-#[cfg(stage1)]
-#[cfg(stage2)]
-#[cfg(stage3)]
+#[cfg(not(stage0))]
 impl<
     D: Decoder,
     T: Decodable<D> + Eq + TotalOrd
 > Decodable<D> for TreeSet<T> {
-    fn decode(d: &D) -> TreeSet<T> {
-        do d.read_seq |len| {
+    fn decode(d: &mut D) -> TreeSet<T> {
+        do d.read_seq |d, len| {
             let mut set = TreeSet::new();
             for uint::range(0, len) |i| {
-                set.insert(d.read_seq_elt(i, || Decodable::decode(d)));
+                set.insert(d.read_seq_elt(i, |d| Decodable::decode(d)));
             }
             set
         }
@@ -822,10 +1816,17 @@ impl<
 //
 // In some cases, these should eventually be coded as traits.
 
+#[cfg(stage0)]
 pub trait EncoderHelpers {
     fn emit_from_vec<T>(&self, v: &[T], f: &fn(v: &T));
 }
 
+#[cfg(not(stage0))]
+pub trait EncoderHelpers {
+    fn emit_from_vec<T>(&mut self, v: &[T], f: &fn(&mut Self, v: &T));
+}
+
+#[cfg(stage0)]
 impl<S:Encoder> EncoderHelpers for S {
     fn emit_from_vec<T>(&self, v: &[T], f: &fn(v: &T)) {
         do self.emit_seq(v.len()) {
@@ -838,10 +1839,30 @@ impl<S:Encoder> EncoderHelpers for S {
     }
 }
 
+#[cfg(not(stage0))]
+impl<S:Encoder> EncoderHelpers for S {
+    fn emit_from_vec<T>(&mut self, v: &[T], f: &fn(&mut S, &T)) {
+        do self.emit_seq(v.len()) |this| {
+            for v.eachi |i, e| {
+                do this.emit_seq_elt(i) |this| {
+                    f(this, e)
+                }
+            }
+        }
+    }
+}
+
+#[cfg(stage0)]
 pub trait DecoderHelpers {
     fn read_to_vec<T>(&self, f: &fn() -> T) -> ~[T];
 }
 
+#[cfg(not(stage0))]
+pub trait DecoderHelpers {
+    fn read_to_vec<T>(&mut self, f: &fn(&mut Self) -> T) -> ~[T];
+}
+
+#[cfg(stage0)]
 impl<D:Decoder> DecoderHelpers for D {
     fn read_to_vec<T>(&self, f: &fn() -> T) -> ~[T] {
         do self.read_seq |len| {
@@ -851,3 +1872,15 @@ impl<D:Decoder> DecoderHelpers for D {
         }
     }
 }
+
+#[cfg(not(stage0))]
+impl<D:Decoder> DecoderHelpers for D {
+    fn read_to_vec<T>(&mut self, f: &fn(&mut D) -> T) -> ~[T] {
+        do self.read_seq |this, len| {
+            do vec::from_fn(len) |i| {
+                this.read_seq_elt(i, |this| f(this))
+            }
+        }
+    }
+}
+