Reordered state machine include