Filename: //////proc/1254938//timers

./Ninja\.