legalize-atomicrmw-umax.mir 2.26 KB