[ NOTE:  The binary version of TLA+/PlusCal in this directory
         is for Linux.  If you are on Windows or MacOS, please
         download your own TLA+ toolbox. ]