On Saturday, January 9, 2010, Joerg Sonnenberger
<joerg@britannica.bec.de> wrote:
<stares at the code>
Ummm, what?
AFAICT, the only difference between the two variants that I can see is
that the shift version might behave differently if numvnodes is
negative, which can't happen. Can you be less funny and more clear
about what type checking issue you see?
Philip Guenther