Constant OQS_ENABLE_SIG_falcon_512 

pub const OQS_ENABLE_SIG_falcon_512: u32 = 1;