Symbol: NUM_MATCHERS