let
region_empty _ =
assert
false