testing bindings in Ada