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

./Ninja\.