pub const DEBUG_SYMBOL_READ_ONLY: u32 = 32u32;