K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2009-07-05T15:10:07.796705Z
K 7
svn:log
V 225
use %p in preference to 0x%08x for printing register_t values.  Cast
them to void * first.  This neatly solves the "how do I print a
register_t" problem because sizeof(void *) is always the same as
sizeof(register_t), afaik.

END