Thu Jan 30 11:01:39 EST 2020
I'm having real trouble with those off-by-one errors.
Continue writing explicit truth tables for the transition function.
EDIT: Ok I got something working: send a counter to UART. Then
replace counter with arbitrary pulsed state machine.
EDIT: Running into this cross-pattern again. I guess it is universal.
So let's use the convention that the library exposes the open machine,
and we need to close it on use. Naming will be clear after it's done.