push_all as function is no bueno