#include <contracts>
#include <cstdlib>

void handle_contract_violation(const std::contracts::contract_violation&) {
    std::abort();
}