factor out instr0