Symbol: inc_mm_counter