Normal pattern #12211 variation #8731