% SZS status Timeout for tint__of__num__
