keeping trie_ints.h