Symbol: SHAKE128_DEFAULT_SIZE