(LETREC CONTINUE
	(CONTINUE LAMBDA (X M)
		(FACC X (LAMBDA (Z) (CONS (DIV Z M) (REM Z M)))))
	(FACC LAMBDA (X FUN)
		(IF (LEQ X (SUB (QUOTE 0) (QUOTE 1))) 
			(CONS (QUOTE NEGATIVE) X)
			(IF (EQ X (QUOTE 0)) 
				(FUN (QUOTE 1))
				(FACC (SUB X (QUOTE 1)) (LAMBDA (Z) (FUN (MUL X Z))))))))&