compiles, but FSM doesn't produce correct enable