Default instr is now a hard-coded constant.