regbankselect-atomicrmw-max.mir 2.25 KB