No more use for write_string.