_:nb49c397354f142de90a65d6ddda3dcf3xb2
<http://schema.org/item>
"https://gitlab.mpi-sws.org/iris/iris"
<https://gitlab.mpi-sws.org/iris/iris/-/tree/97bd63aa38901c0f90d9f789bbc23d55e59d6061/theories/heap_lang/lib/barrier>