legalize-atomicrmw-nand.mir 917 Bytes