sem [ casa casxa ] {
    address = Rx(rs1)?cvt(ulong); val xx = ms(address);
    if(rsrc(rs2,srcQ)?ext(64) == xx) md(address,rsrc(rd,destQ));
    rdest(rd,xx); schedule(store);
} where rsrc in [R4 Rx], rdest in [R4 Rx],
	ms in [M4 M8], md in [M4 M8];