Troubles with C strings

[Victor Porton <porton@narod.ru>]

RM2012 B.3.1:

39 function Value (Item : in chars_ptr; Length : in size_t)
   return String;
40/1 Equivalent to To_Ada(Value(Item, Length) & nul, Trim_Nul=>True).

Isn't the function Value improperly recursively defined through itself?! 
Please explain.

Also: It seems that in Interfaces.C.Strings there is no function which 
creates an Ada string of specified length from a chars_ptr (without checking 
for NUL). Addition of such a function would be good, because it can be very 
fast (on some platforms it can be implemented as memcpy).

-- 
Victor Porton - http://portonvictor.org