with Ada.Text_IO; with Addition; procedure Loader is use Ada.Text_IO; use Addition; I : Integer; begin I := Adder (4, 3); Put (Integer'Image (I)); end Loader;