sem [ swap swapa ] {
    address = (Rx(rs1) + get_src2(i,rs2,simm13) )?cvt(ulong); val xx = M4(address);
    M4(address,R4(rd,storeQ)); R4(rd,xx); schedule(store);
};