pub const DUMP_POINTERS_VERSION_3: u32 = 3u32;