sig val mk_origin : unit -> Benl_data.origin end