Constant OQS_ENABLE_SIG_falcon_padded_1024 

pub const OQS_ENABLE_SIG_falcon_padded_1024: u32 = 1;