let
region_empty () =
Z
.empty