My previous message to you contained an error in the pathname of the file containing the Gabriel benchmarks. The correct name to use, if you ftp into rascal.ics.utexas.edu with id ftp (password guest), is: /pub/gabriel.tar.Z Bob