datatype ('a,'v) instr = Const 'v
                       | Load 'a
                       | Apply ('v binop)
