Constant Key_Sum_FALCON_LEVEL1k 

pub const Key_Sum_FALCON_LEVEL1k: Key_Sum = 2081370413;