well-defined-loop.patch
