simulation: use MessageCounter in examples (.cc)