#include <assert.h>

extern "C" void __VERIFIER_assert( int cond ) noexcept
{
    assert( cond );
}