Warning:  Opening File: {ERINYES}<LISPMANUAL>CHAPNUMBERS.IM;10
  Warning:  EOF - top-level file: {ERINYES}<LISPMANUAL>CHAPNUMBERS.IM;10
  Warning:   ----------  Tags
  Warning:       Boxing
  Warning:       Numbers
  Warning:       SmallIntegers
  Warning: