sig val process : unit -> unit end