Symbol: check_zone_write_pointer