pub const OQS_KEM_frodokem_640_aes_length_public_key: u32 = 9616;