Symbol: to_vmsa_domain