* string_append_c(): use another name for buf