jobos: ubuntu16
cbmcflags:        '=--object-bits;7;--unwind;0;--unwindset;prvTCPWindowTxCheckAck.1:2,prvTCPWindowFastRetransmit.2:2;--unwinding-assertions;--32;--bounds-check;--pointer-check='
goto: CheckOptionsInner.goto
expected: SUCCESSFUL