with ada.text_io; use ada.text_io; 
 
procedure somestrings  is 

    -- prints string s in reverse
    procedure revprintln(s: String) is
    begin
        for i in reverse s'range loop
            put(s(i));
        end loop;
        new_line;
    end revprintln;

    s: String := "Hi Mom!";
begin
    -- let's print this string in reverse
    revprintln(s);

    -- Let's print a slice
    put_line(s(4..7));

    -- What do these print?
    put_line(s(2..4));
    put_line(s(4..4));
    put_line(s(5..4));

    -- s is an array of characters
    s(4) := 'T';
    put_line(s);
end somestrings;