experimental/utility/old/GB_sort.h
static inline GrB_Index GB_rand15 (uint64_t *seed)
{
   (*seed) = (*seed) * 1103515245 + 12345 ;
   return (((*seed) / 65536) % (GB_RAND_MAX + 1)) ;
}
// return a random number between 0 and GB_RAND_MAX
return a random number between 0 and GB_RAND_MAX
return a random number between 0 and GB_RAND_MAX
static inline GrB_Index GB_rand15 (uint64_t *seed)
{
   (*seed) = (*seed) * 1103515245 + 12345 ;
   return (((*seed) / 65536) % (GB_RAND_MAX + 1)) ;
}
static inline GrB_Index GB_rand15 ( uint64_t * seed ) { ( * seed ) = ( * seed ) * 1103515245 + 12345 ; return ( ( ( * seed ) / 65536 ) % ( GB_RAND_MAX + 1 ) ) ; }
return a random number between 0 and GB_RAND_MAX
return a random number between 0 and GB_RAND_MAX