$jf function
For use by generated code in calculating hash codes. Do not use directly.
Implementation
int $jf(int hash) {
// Jenkins hash "finish".
hash = 0x1fffffff & (hash + ((0x03ffffff & hash) << 3));
hash = hash ^ (hash >> 11);
return 0x1fffffff & (hash + ((0x00003fff & hash) << 15));
}