% SZS status Timeout for IS__VALID__SPECIAL_
