Check that the counter overflows

This now appears to actually be somewhat working: the counter
overflows a close to 2^32-valued counter into the higher word.