<_head> <_opf> fac 0 1 <_head> <_opf> fac n r <_body> <_opr> greater n 0 m <_opf> - n 1 f <_opf> fac m r <_opf> * n f