distinct-values(//*/name()) gives me 32768 Items (in the info panel of basex gui). A little bit too close, I guess.
:) I guess so, too. Thanks for the info; this means I should revise
our limit checks and include them at some more places in the code.