The text 23fc8804dbd9, as Debian 1.3 (Bo) shipped it.
compiler interface to Checker
checkerg++(1) on Linux now
