Re: [basex-talk] Stack overflow with random-number-generator