instr.lib