Constant Key_Sum_DILITHIUM_LEVEL3k 

pub const Key_Sum_DILITHIUM_LEVEL3k: Key_Sum = 1886978777;