. call panic() instead of abort() so that stacktraces are printed . also call printf(..) instead of fprintf(stderr, ..)