[basex-talk] How to return/use the value of a nested counter?