Generalize (++) in PushVector