2-machine debugging