K 10
svn:author
V 6
jlemon
K 8
svn:date
V 27
2001-12-19T15:57:43.000000Z
K 7
svn:log
V 122
When storing an int value in a void *, use intptr_t as the cast type
(instead of int) to keep the 64 bit platforms happy.

END