K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2002-12-17T19:13:03.000000Z
K 7
svn:log
V 195
Don't cast a pointer to (intptr_t) and then on to (int) when we cannot
be sure that (int) is large enough.  Instead cast only to (intptr_t) and
cast the switch/case values to (intptr_t) as well.

END