Use void* for scratch data pointers.