Tests for gnatstub
