#include <stdio.h> #include <stdlib.h> int main ( void ) { printf ( "Calling abort()\n" ); abort(); return 0; /* This is never reached */ }