with Text_IO; use Text_IO;
procedure Hola is
begin
   Put_Line ("Hola!");
end Hola;