those names.  (Debug and None were pretty bad names anyway.)  I hope I catched
all uses of the names in comments too.