Loading tydef-qual.disco...
Running tests...
  x: OK
  mirror: OK
Loaded.