Procedure: Merge(C)