https://tarides.com/blog/2023-08-07-kcas-building-a-lock-free-stm-for-ocaml-1-2/
Kcas: Building a lock-free STM for OCaml (1/2)