Checkers cleanup

This is an attempt to elliminate duplicate code, as posted earlier.  It also (hopefully) brings the gcc checkers in synch.