sig val mark_generated_rte : unit -> unit end