Three bad things: threads, garbage collection, and nondeterministic destructors