Symbol: mit_any