pub fn return_from_exception(res: ResultCode)