\Head{}
\L{\LB{    btree NewNode\(k$1${\CO} p$0${\CO} p$1$\)}}
\L{\LB{    typekey k$1${\PC}}}
\L{\LB{    btree p$0${\CO} p$1${\PC}}}
\L{\LB{    }}
\L{\LB{    \{btree tempr{\PC}}}
\L{\LB{         tempr \= \(btree\)malloc\(\K{sizeof}\(node\)\){\PC}}}
\L{\LB{         tempr\mbox{{\rm --}$>$}p\[$0$\] \= p$0${\PC}}}
\L{\LB{         tempr\mbox{{\rm --}$>$}p\[$1$\] \= p$1${\PC}}}
\L{\LB{         tempr\mbox{{\rm --}$>$}k\[$0$\] \= k$1${\PC}}}
\L{\LB{         tempr\mbox{{\rm --}$>$}d \= $1${\PC}}}
\L{\LB{         \K{return}\(tempr\){\PC}}}
\L{\LB{    \}}}
\L{\LB{    }}
\L{\LB{\Proc{InsInNode}    InsInNode\(t{\CO} key{\CO} ptr\)}}
\L{\LB{    btree t{\CO} ptr{\PC}}}
\L{\LB{    typekey key{\PC}}}
\L{\LB{    }}
\L{\LB{    \{\K{int} j{\PC}}}
\L{\LB{         \K{for}\(j\=t\mbox{{\rm --}$>$}d{\PC} j\>$0$ \&\& key\<t\mbox{{\rm --}$>$}k\[j\-$1$\]{\PC} j\-\-\)     \{}}
\L{\LB{              t\mbox{{\rm --}$>$}k\[j\] \= t\mbox{{\rm --}$>$}k\[j\-$1$\]{\PC}}}
\L{\LB{              t\mbox{{\rm --}$>$}p\[j\+$1$\] \= t\mbox{{\rm --}$>$}p\[j\]{\PC}}}
\L{\LB{              \}}}
\L{\LB{         t\mbox{{\rm --}$>$}d\+\+{\PC}}}
\L{\LB{         t\mbox{{\rm --}$>$}k\[j\] \= key{\PC}}}
\L{\LB{         t\mbox{{\rm --}$>$}p\[j\+$1$\] \= ptr{\PC}}}
\L{\LB{    \}}}
