K 10 svn:author V 7 wollman K 8 svn:date V 27 2001-11-08T22:01:35.000000Z K 7 svn:log V 248 Actually, arc4random() returns a uint32_t, not an int. Use the correct constant, just in case uint32_t turns into a `short' ten years from now. If this is MFC'd it will be necessary to hard-code the constant since -stable doesn't have UINT32_MAX. END