Alpha pattern #4251 variation #14507