% SZS status Timeout for num__of__bits__def_
