Arti is supposed to exit its main loop once all the individual threads? they're running have terminated. They use the term `drop` for signaling shutdown their threads to shut down.