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