Both state machine files compile without error