sig val preprocess : unit -> unit val reset : unit -> unit end