DEFINITION MODULE SSFoo;

IMPORT
  RPC, Strings;

EXPORT QUALIFIED Offer;

  PROCEDURE Offer(name:Strings.String; dist:RPC.Distance):RPC.MemberRC;

  END SSFoo.
