The fsm compiles yay