./compute_bases.exe 
:computed_bases_t=
  boost::type_erasure::concept_interface<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::concept_interface<boost::type_erasure::destructible<boost::type_erasure::_self>, boost::type_erasure::concept_interface<simple<boost::type_erasure::_self>, boost::type_erasure::any_base<boost::type_erasure::any<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::_self> >, boost::type_erasure::_self, void>, boost::type_erasure::_self, void>, boost::type_erasure::_self, void>
===>Enter:{{compute_bases.cpp:concept_interface<simple<C>,Base,C>::CTOR()
  :concept_t=simple<boost::type_erasure::_self>
  :Base=boost::type_erasure::any_base<boost::type_erasure::any<boost::mpl::vector<boost::type_erasure::destructible<boost::type_erasure::_self>, simple<boost::type_erasure::_self>, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na, mpl_::na>, boost::type_erasure::_self> >
===>Exit_:}}compute_bases.cpp:concept_interface<simple<C>,Base,C>::CTOR()
===>Enter:{{compute_bases.cpp:concept_interface<simple<C>,Base,C>::simple()
  ***right simple interface***
  ===>Enter:{{simple<int>::apply(C const&)
    :type_name<C>=int:cont=999
  ===>Exit_:}}simple<int>::apply(C const&)
===>Exit_:}}compute_bases.cpp:concept_interface<simple<C>,Base,C>::simple()

Compilation finished at Mon Aug 27 18:53:27