Constant DUMP_POINTERS_VERSION_3 

pub const DUMP_POINTERS_VERSION_3: u32 = 3u32;