We currently translate "#abc" into "#abcabc" rather than "#aabbcc"
We currently translate "#abc" into "#abcabc" rather than "#aabbcc"