type String is array (Positive range <>) of Character;