Substrings as argument to procedures/functions

[reinkor <reinkor@gmail.com>]

Dear All,

I believed that if a substring is an argument to a subroutine,
then its "range" would start at 1 (and not inherited from the calling program).
But this seems not to be the case. 

Given the following Ada source code:

with Text_IO;
use  Text_IO;
procedure t3 is
   package Int_Io is new Text_IO.Integer_Io (Integer);
   use Int_Io;
   procedure string_test1(S : String) is
   begin
      New_Line;
      Put(" In string_test1: ");
      Put(S'First,4);
      Put(S'Last,4);
   end string_test1;
   Str : String := "ABCDEF";
begin
      string_test1(Str);
      string_test1(Str(3..5));
end t3;

The second call to "string_test1" gives:

 In string_test1:    3   5

(at least on my computer).

Is this correct? And in case, is it "good" ? :-)

reinert