NOTE

All this code is actually C code, NOT C++. The file extensions end
in .cc so that I can compile with our... interesting... makefile.
