def dump_to_string(file):
        file.write(STRING[:1])
        file.write(STRING[1:])