Debugging tksp