module IOStreams::Record