embedding of state machines in statements