Constant OQS_KEM_frodokem_640_shake_length_secret_key 

pub const OQS_KEM_frodokem_640_shake_length_secret_key: u32 = 19888;