Kernel3.cm
Copyright Ó 1987 by Xerox Corporation. All rights reserved.
Willie-Sue, September 29, 1987 11:14:06 am PDT
micro -u -o kernelSaveDefs -r kernel3