pub const DUMP_POINTERS_VERSION_4: u32 = 4u32;