sem [ ldstub ldstuba ] { val aa=Rx(rs1)+ get_src2(i,rs2,simm13) ; Rx(rd,M1(aa)); M1(aa,0xff); };