public void debugReset(String s) { String r = check(s); if (r == null) return; state = STATE_READY; machine.debugReset(r); }