debugging with wash