debug 32 bit nonces