...file.

Actual compilation times were measured in seconds. Units of milliseconds are used for compatibility with the setup file.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...Treuhaft

Noah Treuhaft was a visiting student from Oberlin College who was here as part of the Summer Undergraduate Research Assistantship program.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

...routines.

For those readers not familiar with the C programming language, header files are files which are ``included'' in (i.e., referenced by) one or more source files. They usually contain things such as declarations of constants and function prototypes.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.