now that MCSymbol::print doesn't use it's MAI argument, we can