(?:a|b)*c  length 1000 -> true
(?:a|b)*c  length 5000 -> StackOverflowError
(?:a|b)*c  length 20000 -> StackOverflowError
(?:a|b)*c  length 100000 -> StackOverflowError
[ab]*c     length 100000 -> true
(?:a|b)*+c length 100000 -> true
