Insert conversions between System.Address and C.void_ptr in Ada
Improve the example header posix.h to pass translator