Symbol: WRITE_COUNTER