for debugging purposes). I have compiled and run the tests again to be sure that anything is still working.