}
/* write 16-bit data values */
for(int i=0; i<m_dataLength_; i++) {
int v = m_data_[i] & 0x0000ffff;
dos.writeChar(v);
}
} else {
/* write 16-bit index values shifted right by UTRIE_INDEX_SHIFT */
for (int i=0; i<m_indexLength_; i++) {
int v = (m_index_[i]) >>> Trie.INDEX_STAGE_2_SHIFT_;