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