Add getter of length. Check of its functioning in String_main.