Initialize old_exception, by Bernhard Kauer.