Symbol: CHACHA_CTR_SIZE