external procedure avlmakenull(var t: avl);
external procedure avlinsert(x: avlelement; var t: avl);
external function avlsearch(x: avlelement; var r: avlelement; t: avl):boolean;
external procedure avldump(t: avl; var out: text);

.