Learnings:

- Anything that needs to "store" a state must be a reg?
  => wire's can't be assigned in always blocks, yosys complains
- regs must not lead to wires? (unsure where I read that)