% SZS status Timeout for WORD__SLICE__OVER__BITWISE_
