Okay, so there are two more interesting ones left after all, the first I skipped over was a state machine example.
Well, except for the flashing.
Modified with code changes (state_machine2-v) to give:
Note the change at bottom of file where the segment enable pattern was “rotated” by one state.
Without this the cycle is 12345670 rather than 01234567 – it offended my sense of “art” to have it any other way.
Note all displays flash at start, so an exercise for the reader is to ensure they are off at start-up.
I will race you.