//default copy constructor, assignment operator