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