Michael Stefaniuc : ntdll: Don't cast void pointers to other pointer types.