Could simply be ``assert()`` (see comment to ``CF_ASSERT``).