Este ejemplo compilaría perfectamente usando GNAT con: