Eu estou tentando converter este código Python em 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

Minha primeira tentativa foi:

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

Isso não funciona. Minha tarefa é: quandos atinge 1000 fazer toda a expressão acima de retorno(* a b c). Como retornar algum valor de uma macro de loop aninhado?