Filename: //usr//include/c++/10/parallel/random_shuffle.h

./Ninja\.