debug_report_bug() was to 'hard' here.