pub const OQS_SIG_falcon_512_length_secret_key: u32 = 1281;