pub const OQS_SIG_alg_falcon_1024: &[u8; 12] = b"Falcon-1024\0";