Using the complex type AlexState as state of Alex - the state processor