% Remember to use the lgrind style

\File{fact9f.s},{19:51},{Sep 23 1993}
\L{\LB{\Proc{fact9f}\K{program}_\V{fact9f}_\K{is}}}
\L{\LB{___\K{var}}}
\L{\LB{______\V{x}_:_\V{int}_:=_9;}}
\L{\LB{___\K{fun}}}
\L{\LB{______\V{fact}_(\V{n}_:_\V{int})_:_\V{int}_=_\K{if}_(\V{n}_=_0)_\K{then}_1_\K{else}_\V{n}_\*_\V{fact}_(\V{n}_\-_1)_\K{end}}}
\L{\LB{\K{in}}}
\L{\LB{____\V{x}_:=_\V{fact}_(\V{x})}}
\L{\LB{\K{end}}}
