Constant CODA_SUPER_MAGIC 

pub const CODA_SUPER_MAGIC: u32 = 1937076805;