Added trie_spec