change getInstr signature