with Ada.Text_IO; use Ada.Text_IO;
procedure Hello is
begin
  Put_Line ("Hello, world!");
end Hello;

with Ada.Text_IO; use Ada.Text_IO;
procedure Display is
  Num : Integer := 10;
begin
  Put_Line (Integer'Image(Num));
end Display;

with Ada.Text_IO; use Ada.Text_IO;
procedure ArrayDemo is
  type Int_Array is array (1 .. 5) of Integer;
  Arr : Int_Array := (1, 2, 3, 4, 5);
begin
  for I in Arr'Range loop
    Put_Line (Integer'Image(Arr(I)));
  end loop;
end ArrayDemo;

with Ada.Text_IO; use Ada.Text_IO;
procedure ConcurrencyDemo is
  task type Worker is
    entry Start;
  end Worker;
  task body Worker is
  begin
    accept Start;
    Put_Line ("Worker started");
  end Worker;
  W : Worker;
begin
  W.Start;
end ConcurrencyDemo;

with Ada.Text_IO; use Ada.Text_IO;
procedure ClassDemo is
  type Animal is tagged record
    Name : String (1 .. 10);
  end record;
  procedure Speak (A : Animal) is
  begin
    Put_Line (A.Name & " says hello");
  end Speak;
  A : Animal := (Name => "Dog");
begin
  Speak (A);
end ClassDemo;

with Ada.Text_IO; use Ada.Text_IO;
procedure AdvancedDemo is
  generic
    type Element_Type is private;
  procedure GenericProcedure (Item : in Element_Type);
  procedure GenericProcedure (Item : in Element_Type) is
  begin
    Put_Line (Element_Type'Image(Item));
  end GenericProcedure;
  procedure Demo is
    procedure IntProcedure is new GenericProcedure (Element_Type => Integer);
    N : Integer := 10;
  begin
    IntProcedure (N);
  end Demo;
begin
  Demo;
end AdvancedDemo;