I am learning about C memory ordering models, and I came up with this little code for a producer and consumer sharing a “bucket” with “units”.