Actually it is, it prevents an "initialization from incompatible pointer type" warning. Only with `void*` may the cast be omitted.