examples/c/example.c.unexpected_condition/example.c.unexpected_condition.c

Demonstrates use of the XCONTRACT_ENFORCE_UNEXPECTED_CONDITION() enforcement macro.