sem [ ldstub ldstuba ] { address = (Rx(rs1) + get_src2(i,rs2,simm13) )?cvt(ulong); Rx(rd,M1(address)); M1(address,0xff); schedule(store); };