require_xpr64;
mmu.store_uint64(RS1+BIMM, RS2);