Normal pattern #5428 variation #12507