Debugging of Wt