VDSO__TEMP_FILE_NAME
char temp_file_name[sizeof(VDSO__TEMP_FILE_NAME)];
.temp_file_name = VDSO__TEMP_FILE_NAME,