More things are now arguments of launch_walker<>