extern int rtl_printf (char *str, ...);
extern void exit (int status);

void abort(void) {
  rtl_printf ("(abort.c) abort function called\n");
  exit (-1);
}