-- String variables
with ada.text_io; use  ada.text_io;

PROCEDURE hello3  is  -- Declarations between IS and BEGIN
    s1: String := "Hi Everyone!";           -- variable: type := initial value
    s2: String(1 .. 20);                    -- Length exactly 20! Not initialized!
BEGIN                  
    s2 := "Welcome to ITEC 320!";           -- Assignment.  Length exactly 20!
    put_line(s1);
    put_line(s2);

    -- s1 := s2;                            -- Will not compile: different lengths
    
    s2(1) := 'L';                           -- String is an array of characters
    put_line(s2);
END  Hello3;                    

-- Output:
--|Hi Everyone!
--|Welcome to ITEC 320!
--|Lelcome to ITEC 320!