It needs to be a generic pointer pointer, because it is initialized as
a pointer to a pointer to an arbitrary struct, yet (void **) is can not
be dereferenced.

Right now, the instance info is not used, but this might change.