lis la doc de tigcc sur heapderef : void* ptr serait plus approprié ici