  We prove from the existence of a Mahlo cardinal the consistency of the
statement that $2^\omega = \omega_3$ holds and every stationary subset of
$\omega_2 \cap \mathrm{cof}(\omega)$ reflects to an ordinal less than
$\omega_2$ with cofinality $\omega_1$.
