1. A method of monitoring program flow comprising the steps of: determining when a first opcode creates a program branch to a second opcode location, said second opcode location being determined by said first opcode, said second opcode location being associated with a second opcode; adding a fixword and said second opcode to determine a new opcode, said fixword being stored sequentially to said first opcode; and performing an operation on said new opcode to verify a processing sequence associated with said second opcode.