Use range based for when dumping pushes