Translating the program execution monitor