Add instr.txt