288    uint32_t rnum = hash52(seed);  in select_partition()  local
289    uint8_t seed1 = rnum & 0xF;  in select_partition()
290    uint8_t seed2 = (rnum >> 4) & 0xF;  in select_partition()
291    uint8_t seed3 = (rnum >> 8) & 0xF;  in select_partition()
292    uint8_t seed4 = (rnum >> 12) & 0xF;  in select_partition()
293    uint8_t seed5 = (rnum >> 16) & 0xF;  in select_partition()
294    uint8_t seed6 = (rnum >> 20) & 0xF;  in select_partition()
295    uint8_t seed7 = (rnum >> 24) & 0xF;  in select_partition()
296    uint8_t seed8 = (rnum >> 28) & 0xF;  in select_partition()
297    uint8_t seed9 = (rnum >> 18) & 0xF;  in select_partition()
298    uint8_t seed10 = (rnum >> 22) & 0xF;  in select_partition()
299    uint8_t seed11 = (rnum >> 26) & 0xF;  in select_partition()
300    uint8_t seed12 = ((rnum >> 30) | (rnum << 2)) & 0xF;  in select_partition()
338    int a = seed1 * x + seed2 * y + seed11 * z + (rnum >> 14);  in select_partition()
339    int b = seed3 * x + seed4 * y + seed12 * z + (rnum >> 10);  in select_partition()
340    int c = seed5 * x + seed6 * y + seed9 * z + (rnum >> 6);  in select_partition()
341    int d = seed7 * x + seed8 * y + seed10 * z + (rnum >> 2);  in select_partition()