Symbol: __efc_domain_allocated