Debugging "fox-repl" test