(module Out_channel)