Constant NID_KYBER512_R3

pub const NID_KYBER512_R3: i32 = 972;