{
  __sanitizer_acquire_crash_state;
  __sanitizer_cov_8bit_counters_init;
  __sanitizer_cov_dump;
  __sanitizer_cov_pcs_init;
  __sanitizer_cov_reset;
  __sanitizer_cov_trace_cmp;
  __sanitizer_cov_trace_cmp1;
  __sanitizer_cov_trace_cmp2;
  __sanitizer_cov_trace_cmp4;
  __sanitizer_cov_trace_cmp8;
  __sanitizer_cov_trace_const_cmp1;
  __sanitizer_cov_trace_const_cmp2;
  __sanitizer_cov_trace_const_cmp4;
  __sanitizer_cov_trace_const_cmp8;
  __sanitizer_cov_trace_div4;
  __sanitizer_cov_trace_div8;
  __sanitizer_cov_trace_gep;
  __sanitizer_cov_trace_pc_guard;
  __sanitizer_cov_trace_pc_guard_init;
  __sanitizer_cov_trace_pc_indir;
  __sanitizer_cov_trace_switch;
  __sanitizer_dump_coverage;
  __sanitizer_dump_trace_pc_guard_coverage;
  __sanitizer_get_module_and_offset_for_pc;
  __sanitizer_install_malloc_and_free_hooks;
  __sanitizer_on_print;
  __sanitizer_print_stack_trace;
  __sanitizer_report_error_summary;
  __sanitizer_sandbox_on_notify;
  __sanitizer_set_death_callback;
  __sanitizer_set_report_fd;
  __sanitizer_set_report_path;
  __sanitizer_symbolize_global;
  __sanitizer_symbolize_pc;
  __ubsan_*;
};