void string_print(
    struct string* this);