make push_back return a pointer to the object inserted, to save looking it up afterwards