adds example for push_all()