extern "C" void abort() {
}