let
region_assigned _ =
assert
false