Debugging in the ISE