pub const PQCLEAN_LIGHTSABER_AVX2_CRYPTO_CIPHERTEXTBYTES: usize = 736;