Constant Key_Sum_DILITHIUM_LEVEL2k 

pub const Key_Sum_DILITHIUM_LEVEL2k: Key_Sum = 1886912729;