procedure Hello is
begin
  Put_Line ("Hello, World!");
end Hello;

procedure Add is
  A, B, C : Integer;
begin
  A := 5;
  B := 10;
  C := A + B;
  Put_Line (Integer'Image(C));
end Add;

procedure Array_Sum is
  type Int_Array is array (1 .. 5) of Integer;
  A : Int_Array := (1, 2, 3, 4, 5);
  Sum : Integer := 0;
begin
  for I in A'Range loop
    Sum := Sum + A(I);
  end loop;
  Put_Line (Integer'Image(Sum));
end Array_Sum;

with Ada.Text_IO; use Ada.Text_IO;
with Ada.Real_Time; use Ada.Real_Time;
procedure Delayed_Print is
  task type Delayed_Task (Delay : Time_Span);
  task body Delayed_Task is
  begin
    delay Delay;
    Put_Line ("Delayed print");
  end Delayed_Task;
  D : Delayed_Task := Delayed_Task (Seconds (5));
begin
  null;
end Delayed_Print;

package Body Integer_Stack is
  type Stack is tagged private;
  procedure Push (S : in out Stack; Item : Integer);
  function Pop (S : in out Stack) return Integer;
private
  type Stack is tagged record
    Data : array (1 .. 10) of Integer;
    Top : Integer := 0;
  end record;
end Integer_Stack;

with Ada.Text_IO; use Ada.Text_IO;
procedure Exception_Test is
  A, B : Integer := 0;
begin
  A := 10;
  B := A / B;
exception
  when CONSTRAINT_ERROR =>
    Put_Line ("Division by zero error");
end Exception_Test;