Initial rewrite for binary trie example