pub const IDENTICAL_POINTERS: u32 = 348;