auto_instr
