An implementation of an efficient trie