Normal pattern #10137 variation #5847