Tests for gnatpp
