% SZS status Timeout for bits__of__num__i
