Symbol: walk_init