

       The programs are put in build/bin/
       To run these (e.g., for testing), move them to the prog
       directory and run them from there:
          cd bin
          mv * ../../prog/
          cd ../../prog
          alltests_reg generate
          alltests_reg compare

       To build the library directly from the root directory instead of
       the build subdirectory:
          mkdir build
          cmake -H . -Bbuild   (-H means the source directory,
                                -B means th