Improving the specification of arithmetic for atomics | Hacker News Reader