stop calling final_region on every iteration of is_valid_pointer