Symbol: generic_sha3_final