#include <boost/msm/back/state_machine.hpp>
#include <boost/msm/front/state_machine_def.hpp>
#include <boost/msm/front/functor_row.hpp>

namespace msm = boost::msm;
namespace mpl = boost::mpl;
using namespace msm::front;

struct E {};

struct A : public state<>
{
    bool started = false;
	template <class Event, class Fsm>
	void on_entry(Event const&, Fsm& m)
	{
		m.process_event(E());
        started = true;
	}
};

struct check_started
{
    template <class Fsm, class Evt, class SourceState, class TargetState>
    void operator()(Evt const&, Fsm&, SourceState& s, TargetState&)
    {
        assert(s.started);
    }
};

struct Machine_ : public state_machine_def<Machine_>
{
	struct transition_table : mpl::vector<
		//    Start    Event    Target    Action                      Guard 
	 	//   +--------+---------+--------+---------------------------+------+ 
          Row< A      , E       , none   , check_started             , none >
		//   +--------+---------+--------+---------------------------+------+ 
	> {};

    typedef A initial_state;
};

typedef msm::back::state_machine<Machine_> Machine;

int main()
{
    Machine m;
    m.start();
    
	return 0;
}