my_string_extend_smt_extra

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