remove instr.h