US8438548B2 - Consistency Checking of Source Instruction to Execute Previously Translated Instructions Between Copy Made Upon Occurrence of Write Operation to Memory and Current Version