module IOStreams::Encode