let
region_empty () =
Z
.empty ,
M
.region_empty ()