pub const PQCLEAN_FRODOKEM640SHAKE_OPT_CRYPTO_SECRETKEYBYTES: usize = 19888;