Re: [boost] tie alternative?