Constant OQS_KEM_ntru_hrss1373_length_public_key 

pub const OQS_KEM_ntru_hrss1373_length_public_key: u32 = 2401;