type tree = ^node;
         node = record
            k : typekey;
            left, right : tree
            end;