Finite State Machine example

Hello, I am looking at http://www.boost.org/libs/mpl/doc/paper/html/example.html I have a dumb question or perhaps I am missing something (or both). Where is the state_machine class template that the player derives from using the curiously recurring template pattern? class player : state_machine<player> // where is the code for this class? { Regards, Bruce