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

./Ninja\.