Próbuję przekonwertować ten kod Pythona na Common Lisp:

for a in xrange(1,1000):
    for b in xrange(a,1000):
        c = (a**2 + b**2) ** 0.5
        s = a + b + c
        if s == 1000:
            return a * b * c

Moja pierwsza próba była:

(loop for a from 1 to 999
      do (loop for b from a to 999
               for c = (sqrt (+ (expt a 2) (expt b 2)))
               for s = (+ a b c)
               until (= s 1000)
               finally return (* a b c))))

To nie działa. Moje zadanie to: kiedys trafienia 1000 powodują, że całe wyrażenie powraca(* a b c). Jak zwrócić pewną wartość z makra zagnieżdżonej pętli?