High: trie: allow modifying the trie map during the notify callback