Symbol: walk_mem_res