sem [ save restore ] {
    set_op(new_inst,Op,1 ,1);
    Rx_src(new_inst,rs1); set_src2(new_inst,i,rs2,simm13) ;
    adjust_window(new_inst);
    Rx_dest(new_inst,rd);
} where adjust_window in [ window_save window_restore ],
	Op in [ 185  186  ];