Provided shell definitions for copy and explicit value constructor