instr_plus_disto