Copy constructor.
execution_state( const execution_state& other) = default;
execution_state
Strong guarantee. Internal allocations may throw.
*this lifetime will be independent of other's.
*this
other