mutable report_header = ""