pub const OQS_KEM_frodokem_640_shake_length_ciphertext: u32 = 9720;