mypersonal_string_extend_smt

The library opens up the String class and adds a method writesize, which returns the size of the string.