pub fn encode<Ctx, W: Write>( v: &Nat, e: &mut Encoder<W>, _ctx: &mut Ctx, ) -> Result<(), Error<W::Error>>