Updates to instr_t