% SZS status Timeout for numeral__lt_
