A debugging tool