write_string


Description:

private void write_string (string s)