chap6: done with simulating machines