% SZS status Timeout for WORD__BITS__OVER__BITWISE_
