Debugging via STM