Constant DEBUG_SYMBOL_READ_ONLY 

pub const DEBUG_SYMBOL_READ_ONLY: u32 = 32u32;