Update hat_trie.pyx