ICE description of FileServer, first cut