Re: [basex-talk] mainmem bug?