-gnatd.E transforms an error into a warning, this concerns the call to
the RI computeGNC that takes the same param as input and output.
Because we use "in out" for the input and "out" for the output (to align
with C's pointers without using access types) this causes a writable
overlap error in Ada.