add format_string() to string.h