<_headf> <_opf> fib 0 <_foot> 1 <_headf> <_opf> fib 1 <_foot> 1 <_headf> <_opf> fib n <_body> <_opr> > n 1 <_foot> <_opf> + <_opf> fib <_opf> - n 1 <_opf> fib <_opf> - n 2 <_headf> <_opf> fact 0 <_foot> 1 <_headf> <_opf> fact n <_body> <_opr> > n 0 <_foot> <_opf> * n <_opf> fact <_opf> - n 1 <_headf> <_opf> sum 0 <_foot> 0 <_headf> <_opf> sum n <_body> <_opr> > n 0 <_foot> <_opf> + n <_opf> sum <_opf> - n 1