All machine code blocks are recognized.  Need to verify opcodes are semantically correct.  Need to interface call with IREmitter