Use void* for scratch data pointers.

#832