Embed Notice

So, last time I figured out I need pings in my protocol to check that a certain other message isn't still sitting in a queue / as a kind of synchronization fence.

So I added pings to the model, and now I'm making the client send a ping immediately after that other message, and...

ofc it doesn't compile because sending 2 messages means modifying the queue twice, which, in Pluscal, can't be done in a single label.

Well ok, let's add a label inbetween the messages then.