Re: [boost] BOOST_ENUM proposal rev 4, ENUM_VALUES extension?