module pattern: extend the bit width of lock time
It is now a field of the status register. This limits the maximum countable number of words (by the way, "lock time" is ambiguous because it's the number of words received). It would be useful to make it a parameter of the module init(): number checked_locked_nwords_bit_width? And then the number of 32-bit registers dedicated to that can be a property.
Note: that register needs to be "atomic read" type.