Symbol: rib_walk_ext_internal