avl-trie::node:key	procedure	"avl-trie01"
avl-trie::node:kids	procedure	"avl-trie01"
avl-trie::node:value	procedure	"avl-trie01"
avl-trie::node:+key	procedure	"avl-trie01"
avl-trie::node:+kids	procedure	"avl-trie01"
avl-trie::node:+value	procedure	"avl-trie01"
avl-trie:empty?	procedure	"avl-trie02"
avl-trie:empty	procedure	"avl-trie02"
avl-trie:insert	procedure	"avl-trie02"
avl-trie:for-all-in-order	procedure	"avl-trie03"
avl-trie:flatten	procedure	"avl-trie04"
