% SZS status Timeout for BITWISE__NOT__C
