Constant DUMP_POINTERS_VERSION_1 

pub const DUMP_POINTERS_VERSION_1: u32 = 1u32;