... (let ((a (func1 x)) (b (func2 y)) (c (func3 z))) (func4 (func5 a) (func6 b) (func7 c))) ...