// extern "C" const char *__asan_default_options()
// {
// 	return "halt_on_error=0:print_legend=0";
// }