You must install both MetaPRL and MCC to test the examples mentioned in
the paper. After downloading both, you need to setup MetaPRL by running
``make config'' in its root, and set up the appropriate system
variables. 

Similarly, you need to type ``configure --with-metaprl=PATH'' in the MCC
root directory, where PATH is the path you installed MetaPRL to.

At this point, you need to compile the system by typing ``cons'' in the
MCC root directory.

The test files are located in MCC/test/phobos/examples/. You can use the
provided test script, test-me by specifying the appropriate .pho and the
.tok files.

Example:

test-me paper_tphol02.pho paper_tphol02.tok