do not overflow when the pattern is unbounded