Commit 30672c7e75097377e08f3cc91ddd7e4c14a76033

Behdad Esfahbod 2023-11-03T18:52:03

Add hb_barrier() And annotate some more.