Estoy tratando de convertir este código de Python en 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

Mi primer intento fue:

(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))))

Esto no funciona. Mi tarea es: cuandos Los golpes 1000 hacen que toda la expresión anterior vuelva.(* a b c). ¿Cómo devolver algún valor de una macro de bucle anidado?