For example, the value '{0}' may indicate a case not covered by the pattern(s). However, a pattern rule with a 'when' clause ...