Adding debug code to runtests (2)