BOOST_1_LOTUS_72