排完之后第一个是几

运行下面这段程序：

#include <algorithm>
#include <iostream>
#include <map>
#include <string>
#include <utility>
#include <vector>
using namespace std;

int main() {
    vector<int> a = {17, 24, 15, 13, 23};
    sort(a.begin(), a.end());
    cout << a[0] << endl;
}

（本题用 g++ -std=c++17 -O0 编译。）