pub const DEBUG_SYMTYPE_NONE: u32 = 0u32;