@blanchonvincent yes, but then `$foo->counter` won't be synchronized. I'll add it to the example.