Warning:  Opening File: {ERIS}<LISPMANUAL>FORMATSELDUMMY.IM;1
  Warning:  EOF - top-level file: {ERIS}<LISPMANUAL>FORMATSELDUMMY.IM;1
  Warning: