some of this code is needed, and to help track down an odd bug Guido is
seeing.  assert()s won't trigger except in a debug build.