val read_all : unit -> unit