add SourceLocationSpec