No particular reason why nDoS needs to be exactly 32 bits.