Anything practical that still needs to happen? SeqEmu.hs can be simplified. I especially do not like the clumsy external state threading approach, and how the state monad is not really computing the register state update. It compues an update function. But maybe that is enough. So basically, memories work, and inputs work, but I haven't used them together yet. Anyway, today is not an insight day..