sig val rm_asserts : unit -> unit end