Example code for the TLA+ article at https://www.innoq.com/en/articles/2023/04/an-introduction-to-tla/.