\Head{}
\L{\LB{\Proc{InsInNode}     \K{procedure} InsInNode\(t {\DP} btree{\PC} key {\DP} typekey{\PC} ptr {\DP} btree\){\PC}}}
\L{\LB{     }}
\L{\LB{     \K{label}   $999${\PC}}}
\L{\LB{     \K{var}     j {\DP} integer{\PC}}}
\L{\LB{     \K{begin}}}
\L{\LB{     \K{with} t\^ \K{do} \K{begin}}}
\L{\LB{          j {\DP}\= d{\PC}}}
\L{\LB{          \K{while} j \>\= $1$ \K{do}}}
\L{\LB{               \K{if} key \< k\[j\] \K{then} \K{begin}}}
\L{\LB{                    k\[j\+$1$\] {\DP}\= k\[j\]{\PC}}}
\L{\LB{                    p\[j\+$1$\] {\DP}\= p\[j\]{\PC}}}
\L{\LB{                    j {\DP}\= j\-$1$}}
\L{\LB{                    \K{end}}}
\L{\LB{               \K{else} \K{goto} $999${\PC}  \C{}\{\*\*\* break \*\*\*\}\CE{}}}
\L{\LB{          $999${\DP}}}
\L{\LB{          k\[j\+$1$\] {\DP}\= key{\PC}}}
\L{\LB{          p\[j\+$1$\] {\DP}\= ptr{\PC}}}
\L{\LB{          d {\DP}\= d\+$1$}}
\L{\LB{          \K{end}}}
\L{\LB{     \K{end}{\PC}}}
