Filename: //proc/858//root/usr//share/python3/debpython/option.py

./Ninja\.