Normal pattern #15872 variation #7142