@_exported import ImportedByAuxFile
public func fromAuxFile() {}