((/parallel/spec-mv-let.lisp::foo (nil nil nil nil (spec-mv-let) nil nil) (nil nil (x) (mv) (mv-let) nil nil) ((y) (3 4) (a) (mv) (if) nil nil) ((b) (5 7) nil (equal +) nil nil (+)) ((a z x y a b z a b) nil nil nil nil nil nil) (nil nil nil nil nil nil nil) (nil nil nil nil nil nil nil)) (/parallel/spec-mv-let.lisp::foo2 (nil nil nil nil (spec-mv-let) nil nil) (nil nil (x) (mv) (mv-let) nil nil) ((y) (3 4) (a) (mv) (if) nil nil) ((b) (5 7) nil (equal) (mv-let) nil (+)) ((a z x y a b z) nil (x) (mv) nil nil (+)) ((y a b x y z) (10 11) nil nil nil nil nil) (nil nil nil nil nil nil nil)))