# OK: DNS reply queue is TSAN-clean
