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