$ time ./target/release/ddnet-playground quit
-bash: ./target/release/ddnet-playground: No such file or directory

real    0m0.001s
user    0m0.000s
sys     0m0.001s