index_str         341 lib/ubsan.c    	char index_str[VALUE_LENGTH];
index_str         348 lib/ubsan.c    	val_to_string(index_str, sizeof(index_str), data->index_type, index);
index_str         349 lib/ubsan.c    	pr_err("index %s is out of range for type %s\n", index_str,