Section Header
    + name := STRING_CONSTANT;
    - comment := "String built in.";
Section Inherit
    - parent_abstract_string:ABSTRACT_STRING :=
Section ABSTRACT_STRING, ABSTRACT_ENTRY
BSBS: A revoir avec les Section External.
    + storage:NATIVE_ARRAY[CHARACTER] :=
Section Public
- clone:SELF <- Self;
    + count:INTEGER :=
    - to_string:Strict STRING <-
Section Public
    - capacity:INTEGER <-
Aliasing String.
    - bucket:SET[STRING_CONSTANT] :=
The Guru section: The Compiler consideration.
    - set_storage p:NATIVE_ARRAY[CHARACTER] count nb_char:INTEGER <-
        Do not use directly.
    - new_intern p:NATIVE_ARRAY[CHARACTER] count nb_char:INTEGER :STRING_CONSTANT<-
        Do not use directly. WARNING: Use by c_string and c_argument (COMMAND_LINE).
    - to_external:NATIVE_ARRAY[CHARACTER] <-
        Gives C access to the internal `storage' (may be dangerous).
        To be compatible with C, a null character is added at the end
        of the internal `storage'. This extra null character is not
        part of the Lisaac STRING.
    - create_copy other:ABSTRACT_STRING :SELF <-
    - make_copy other:ABSTRACT_STRING <-
Debug: Require / Ensure / Check
    - '?' test:BLOCK <-
    - '-?' test:BLOCK <-
    - '+?' test:BLOCK <-