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