[Boost-users] [state_saver] An extra constructor and a swapping destructor?