-- Demonstrates end of file loop
-- When doing interactive input mark eof with  
-- ctrl-Z on a separate line for windows
-- ctrl-D for unix

with ada.text_io; use ada.text_io; 
with ada.integer_text_io; use ada.integer_text_io; 
 
procedure eof  is 
    n: Natural;
    s: Natural := 0;
begin
    while not end_of_file loop
        get(n);
        put_line(n'img);
        s := s + n;
    end loop;
    put_line(s'img);

end eof;
-- Input: 3 4 5
-- Output:
--|          3
--|          4
--|          5
--|         12