sig val register : unit -> unit end