Filename: //usr/include//x86_64-linux-gnu/c++/10///ext/opt_random.h

./Ninja\.