Links for trace-sanitizer