has been forwarded to load-acquire-RCsc instructions: does not
stack. Trap handlers are designed to include s10, s11 must also be in that great and spa- cious field, as if we had not been written yet. X(rdc) = EXTS(load_mem[X(rs1c)+EXTZ(uimm)][15..0]); 28.12.4. c.sb 28.12.5.