Not yet reviewed by Pith; the record is open.

We consider steady solutions to the incompressible Euler equations in a two-dimensional channel with rigid walls. The flow consists of two periodic layers of constant vorticity separated by an unknown interface. Using global bifurcation theory, we rigorously construct curves of solutions that terminate either with stagnation on the interface or when the conformal equivalence between one of the layers and a strip breaks down in a $C^1$ sense. We give numerical evidence that, depending on parameters, these occur either as a corner forming on the interface or as one of the layers developing regions of arbitrarily thin width. Our proof relies on a novel formulation of the problem as an elliptic system for the velocity components in each layer, conformal mappings for each layer, and a horizontal distortion which makes these mappings agree on the interface. This appears to be the first local formulation for a multi-layer problem which allows for both overhanging wave profiles and stagnation points.