Apparently not. I also messed up something related to it in `handle_throw()`.