K 10
svn:author
V 5
peter
K 8
svn:date
V 27
2003-07-28T10:25:26.000000Z
K 7
svn:log
V 144
Make this compile on 64 bit systems again.  You cannot just cast a 32 bit
int to a 64 bit pointer.  This file is already off the vendor branch.

END