Filename: //usr//include/c++/10/bits/random.h

./Ninja\.