Constant CURRENT_EXCEPTION 

pub const CURRENT_EXCEPTION: Name;

CURRENT_EXCEPTION is a global variable containing an exception with the sail type exception. It is only defined when HAVE_EXCEPTION is true.