Print and BoundedPrint layers.
Code used in the "Hands-On" sections of the book Introduction to Reliable and Secure Distributed Programming by Christian Cachin, Rachid Guerraoui and Luis Rodrigues.