Export a TH-used identifier #609