Pin: built-in copy ctor is adequate