pub const R_CKCORE_ADDR32: u32 = 1;