(extern
   Count COUNT 0
)
