Loading fib.disco...
Running tests...
  fib: OK
Loaded.
610
