Alpha pattern #9231 variation #13564