ObjCObjectType.mi is simpler