sig val initialize : unit -> unit end