Constant CODA_SUPER_MAGIC 

pub const CODA_SUPER_MAGIC: u32 = 1937076805 /* 1_937_076_805u32 */;