Fix void* arithmetic bug. Add dassert facility.