Warning:  
           WARNING: --- Note facility enabled --- Notes will be printed ---
 
  Warning:  EOF - top-level file: {STREAM}#56,152064
  Warning:  
ERROR: EOF - closing bracket for {BEGIN SUBSEC THE WINDOW SYSTEM} (arg TEXT)
  Warning:  EOF - top-level file: {STREAM}#56,152064
  Warning:  
  Warning:  EOF - top-level file: {STREAM}#56,152064
  Warning:  
ERROR: EOF - closing bracket for {BEGIN SUBSEC THE WINDOW SYSTEM}
  Warning:  EOF - top-level file: {STREAM}#56,152064
  Warning: