Symbol: shake256_context