sig
val
mk_origin : unit
->
Benl_data
.origin
end