;;;************************************************************
;;; DRs 801-877 CHECKING
;;;
;;; The file drtest09.tst tests a number of the testable DRs
;;; in the range 801-877.
;;;
;;; To test, execute the command (batch "drtest09.tst").
;;; When the test is complete, check the file drtest09.rsl
;;; for the results (differences between expected and 
;;; actual output are listed).
;;;************************************************************