Alpha pattern #4251 variation #9367