Filename: //usr/include/c++/10/optional

./Ninja\.