% SZS status Timeout for int__ring__thms_c
