functor (E : sig val exthpr : string -> unit end) -> TEXOUT