system  server

class SERVER

creation make

assertion all

cluster $EIFFEL4/library/base/kernel
cluster $EIFFEL4/library/base/support