const char * const config_domain_type_kernel;
const char * const config_domain_type_ust;
const char * const config_domain_type_jul;
const char * const config_domain_type_kernel;
const char * const config_domain_type_ust;
const char * const config_domain_type_jul;