K 10 svn:author V 3 jkh K 8 svn:date V 27 1999-09-05T21:06:10.000000Z K 7 svn:log V 81 Back out the ${KERNEL} change - it's messier in its implications than I thought. END