request_bug_report_and_abort (const char *msg)
{
fprintf (stderr, "******************************************************\n");
request_bug_report_and_abort (const char *msg)
{
fprintf (stderr, "******************************************************\n");