K 10 svn:author V 3 pfg K 8 svn:date V 27 2017-11-30T15:48:35.810368Z K 7 svn:log V 108 SPDX: Consider code from Carnegie-Mellon University. Interesting cases, most likely from CMU Mach sources. END