New instr encoder impl'd but not hooked up yet