This version is obsolete.  It is here only for those few who want to compare
the current version with the old for debugging purposes.