Re: [Ada] Ease interface with builtins that returns void *

[Duncan Sands]

PS: That said, I have to admit that using void* for builtins does cover the
most important cases.