#include <contracts>
#include <cstdio>
#include <cstdlib>

[[maybe_unused]] static void handle_contract_violation(const std::contracts::contract_violation& violation) {
    std::fprintf(stderr, "contract violation: %s\n", violation.comment());
    std::abort();
}