pub const PQCLEAN_FRODOKEM640AES_OPT_CRYPTO_BYTES: usize = 16;