Update header_string.h