See e.g. https://gitlab.mpi-sws.org/iris/refinedc/-/blob/0eef2b4be192c9c078c9a9f1228945610a217014/theories/examples/latch/latch.c#L11