Export identifiers to DOT.