void* is of unknown size so cannot be used for pointer arithmetic (see a...

(see also #868 for instance)