Alternative writ of mandamus dismissed on motion of counsel for the respective parties.