1. A method comprising: identifying an original instruction having a memory address in a memory block with a write permission; copying said original instruction; translating said copy into one or more translated instructions; and inserting said one or more translated instructions and a check instruction into a translation block.