% SZS status Timeout for int__bit__shift__le
