/* Error: Counter not found. */