pub const OQS_SIG_falcon_512_length_signature: u32 = 666;