declareunicodecharacters for #7950