Using the same pattern variable multiple times in a pattern