pub const OQS_KEM_frodokem_640_aes_length_shared_secret: u32 = 16;