{
  __sanitizer_cov;
  __sanitizer_cov_dump;
  __sanitizer_cov_indir_call16;
  __sanitizer_cov_init;
  __sanitizer_cov_module_init;
  __sanitizer_cov_trace_basic_block;
  __sanitizer_cov_trace_cmp;
  __sanitizer_cov_trace_func_enter;
  __sanitizer_cov_trace_switch;
  __sanitizer_cov_with_check;
  __sanitizer_get_coverage_guards;
  __sanitizer_get_coverage_pc_buffer;
  __sanitizer_get_number_of_counters;
  __sanitizer_get_total_unique_caller_callee_pairs;
  __sanitizer_get_total_unique_coverage;
  __sanitizer_maybe_open_cov_file;
  __sanitizer_report_error_summary;
  __sanitizer_reset_coverage;
  __sanitizer_sandbox_on_notify;
  __sanitizer_set_death_callback;
  __sanitizer_set_report_path;
  __sanitizer_update_counter_bitset_and_clear_counters;
  __ubsan_*;
};