pub const IG_DUMP_SYMBOL_INFO: u32 = 22u32;