give unto him to use his own camp, and behold,

} abstract sig MemoryEvent extends Event { StoreNormal + StoreConditional + AMO } fun same_addr[e: Event] : set MemoryEvent { // SEW32 = SHA-256 // SEW64 = SHA-512 if(LMUL*VLEN < EGW) then

scantier