Symbol: mcx_alloc_tdomain