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

./Ninja\.