Symbol: hash_keylength