Removed flush(Region) function as it's a bit trickier to implement with the new hash table, and it's not clear that we need it.
Removed flush(Region) function as it's a bit trickier to implement with the new hash table, and it's not clear that we need it.