Constant DUMP_POINTERS_VERSION_4 

pub const DUMP_POINTERS_VERSION_4: u32 = 4u32;