Translate "Example: A Counter Implementation"