sem [ swap swapa ] {
    val aa = Rx(rs1) + get_src2(i,rs2,simm13) ; val xx = M4(aa);
    M4(aa,R4(rd)); R4(rd,xx);
};