pub const PQCLEAN_NTRUHRSS701_AVX2_CRYPTO_CIPHERTEXTBYTES: usize = 1138;