Constant WDBGEXTS_ADDRESS_SEG16

pub const WDBGEXTS_ADDRESS_SEG16: u32 = 1u32;