Start of a pattern matcher