Symbol: hash128to32