Filename: //usr/include/c++/10//ext/random

./Ninja\.