Debugging a problem in the instruction writer