Warning:  Opening File: {ERINYES}<LISPMANUAL>CHAPHARDCOPY.IM;9
  Warning:  EOF - top-level file: {ERINYES}<LISPMANUAL>CHAPHARDCOPY.IM;9
  Warning: