;;; Written 12/08/12 15:16:22 by ggilley,
;;; while running on cadr from band 1
;;; with System 78.0, microcode 841.


("System" 80.)