{
  "name": "Counter",
  "attrs": [
    "onInc", "onDec"
  ]
}