Filename: ///usr//share/doc/libz3-4//////

./Ninja\.