(SI:DEFINE-HOST "LMI-FAKE-RAVEL"
  ':HOST-NAMES '("F-RAVEL" "LMI-FAKE-RAVEL")
  ':MACHINE-TYPE ':LISPM
  ':SYSTEM-TYPE ':LISPM
  ':INTERNET '(#o14400000010))