LMFL#!C(:HOST "SYS" :BACKUP-DATE 2760033117. :SYSTEM-TYPE :LOGICAL :VERSION 1. :TYPE "LISP" :NAME "DEFSYSTEM" :DIRECTORY ("REL3-PUBLIC" "TEST" "VERIFY") :SOURCE-PATTERN "( :DIRECTORY (\"REL3-PUBLIC\") :NAME :WILD :TYPE :WILD :VERSION :NEWEST)" :CHARACTERS T :NOT-BACKED-UP T :CREATION-DATE 2717012490. :AUTHOR "REL3" :LENGTH-IN-BYTES 793. :LENGTH-IN-BLOCKS 1. :BYTE-SIZE 8.)                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                                          ;;;;;;                           RESTRICTED RIGHTS LEGEND;;;Use, duplication, or disclosure by the Government is subject to;;;restrictions as set forth in subdivision (b)(3)(ii) of the Rights in;;;Technical Data and Computer Software clause at 52.227-7013.;;;;;;                     TEXAS INSTRUMENTS INCORPORATED.;;;                              P.O. BOX 2909;;;                           AUSTIN, TEXAS 78769;;;                                 MS 2151;;;;;; Copyright (C) 1985, Texas Instruments Incorporated. All rights reserved.(Defsystem verify-soft-error  (:name "Verify-Soft-Error")  (:pathname-default "lm:test.verify;")  (:package si)  (:module Definitions ("defs"))  (:compile-load Definitions)  (:module The-World ("scsi" "verify"))  (:compile-load The-World))                                                                                                                                                                                                                                       