GENERIC MODULE GenericSwap(Elem);

PROCEDURE Swap(VAR left: Elem.T; VAR right: Elem.T) =
  VAR temp: Elem.T := left;
  BEGIN
    left := right;
    right := temp;
  END Swap;

BEGIN
END GenericSwap.