Example of a Mealy state machine (initial pattern stolen from somewhere that I forgot to cite)