;;;*******************************************************************;;; COOL COMMAND TESTS;;;;;; These files coolcmd.bat and coolcmd.ins test various commands;;; associated with COOL constructs.;;;;;; To test, execute the command (batch "coolcmd.tst").;;; When the test is complete, check the file coolcmd.rsl;;; for the results.;;;*******************************************************************