% SZS status Timeout for eq__sub__swit
