K 10
svn:author
V 3
bde
K 8
svn:date
V 27
1999-12-24T15:33:36.000000Z
K 7
svn:log
V 204
Fixed a cast of a pointer to an integer of a possibly different size.
Fixed casts of non-`void *' pointers to uintptr_t.  Fixed related
style bugs.  This file uses perfectly non-KNF formatting for casts.

END