-* The remaining shared globals: K, WD1, WD1X, WD2, WD2X. These are used
- rather promiscuously to pass around information that ought to be function
- arguments in a modern language. K is a particular offender.
+* The program is still pretty much typeless. Some attempt has been
+ made to introduce semantic types, but the job is barely started.