Edit: I suggest "terminated"
I like terminated! Good suggestion :D
I can't find it on crates.io though.
Reply on news.ycombinator.com