char* buf = new char[1 + vsnprintf(NULL, 0, format_string, args1)];