Symbol: _dat_walk_gfn_range