The file paintball.psf contains an example of a leadership election protocol.
See the comment at the start of the file for details.
