See the void * overload above.
void *
Declared in <bsls_bsltestutil.h>
<bsls_bsltestutil.h>
void debugprint(void volatile* v);