Most of the action is in check.cc; in contrast, main.cc isn't too interesting.
check.cc
main.cc
This page last modified on 9 February 2004.