>> @@ -396,6 +405,8 @@ I_u2u1u3(_drotr) >> I_u2u1u3(_drotr32) >> I_u3u1u2(_dsubu) >> I_0(_eret) >> +I_u2u1mmsbu3(_ext) >> +I_u2u1msbu3(_ins) > > Not I_u2u1mmsbu3()? > No, the 'ins' instruction opcode layout is identical to the 'dins' instruction. Thus, it is correct.