K 10 svn:author V 3 jhb K 8 svn:date V 27 2000-11-10T22:30:44.000000Z K 7 svn:log V 74 Don't overwrite the filename for KTR_EXTEND with "../../kern/kern_ktr.c". END