pub const DEBUG_REQUEST_GET_CACHED_SYMBOL_INFO: u32 = 15u32;