use path.push_many