Constant OQS_KEM_ml_kem_512_length_keypair_seed 

pub const OQS_KEM_ml_kem_512_length_keypair_seed: u32 = 64;