GetMIBenum
uint32 GetMIBenum(void) const;
if (max_MIBenum < character_sets_by_id[index]->GetMIBenum()) {
max_MIBenum = character_sets_by_id[index]->GetMIBenum();
character_sets_by_MIBenum[charset->GetMIBenum()] = charset;