Two machine debugging of Intel code