(LETREC LOOP (LOOP LAMBDA (X Y Z)
	(IF (LEQ X Y)
		(LOOP (ADD (QUOTE 1) X) Y (MUL Z X))
		(CONS X (CONS Y (CONS Z (QUOTE NIL)))))))&