Quoted symbol ID codes in domain exports