Re: forced cleanup-on-exit

[Tobias S. Josefowitz]

Lucky indeed. add_constant(random_string(15), thing with
set_exit_callback() set) does the trick.