E>    def sort (a,b) 
E>

    def sort (a,b) {
      match ( (a.X.CompareTo ( b.X ), lazy ( a.Y.CompareTo ( b.Y ) ) ) ) {
        | ( 0, y ) => y.Value
        | ( x, _ ) => x
      }
    }