--- /dev/null
+----------------------------------------------------------------
+-- Testing syntax checking, static checking and modules.
+-- This group of checks will produce about 100 lines of output of the form
+--
+-- --!!! <description of feature being tested>
+--
+-- You should report a problem if any other output is generated.
+----------------------------------------------------------------"