(module Stdlib__Out_channel)