it would be very cool if the compiler generated some files (in any format, say XML) describing the structure of the state machine, to allow for easy code generation around it