Not sure about it. As you said, this part is really Python specific. I know void* is magic but it is really a pain to have it everywhere (and I know what I say ... Kaapi and starpu are full of these...)