[Boost-users] Re: [shared_ptr] get_deleter is for what?