EFX_HASH_INITIAL_VALUE
a = b = c = EFX_HASH_INITIAL_VALUE +
a = b = c = EFX_HASH_INITIAL_VALUE + (uint32_t)length + init;