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