nested: 9 should use mangledName, not mangledString.