Either way, none of this will help you to
> non-deterministically read
because you will always receive the first matching message from the channel, at least according to the spin manpage on receive.
]]>The result is a total eyesore but the buttons are legible once again.
]]>Papers were due: March 25, 2022
Author notifications: April 29, 2022
Camera ready papers: May 9, 2022