Constant EXT_DEBUG_MARKER_SPEC_VERSION 

pub const EXT_DEBUG_MARKER_SPEC_VERSION: u32 = 4u32;