State machine compiler
