% SZS status Timeout for word__xor__n
