panic() is only used for INVARIANTS.
panic() is only used for INVARIANTS.

ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl,ossy-szeged/sctp-refimpl