pub const SOC_DEBUG_HIGH: u32 = 671088640; // 671_088_640u32