Con esto se obtiene un mis_funciones.o que se ha de pasar al gnatmake para que enlace con las funciones: