-- exal1.adb   print a string, integer, float
with text_io; use text_io ;

procedure exal1 is
  package int_io is new integer_io(integer) ; use int_io;
  package flt_io is new float_io(float); use flt_io;
  a, b : integer;
  x : float;  
  
begin
  put_line("exal1.adb running");
  put_line("");
  Put_Line("my string");

  a := 12;
  b := 4;
  put("a="); put(a); put_Line("");
  put("b="); put(b); put_Line("");
  x := 37.4;
  put("x="); put(x); put_Line("");
  
  put_line("exal1.adb finished");
end exal1;