Symbol: mibII_defs