(letrec ((n<sub>1</sub> e<sub>1</sub>) ... (n<sub>k</sub> e<sub>k</sub>)) body-expr)
(letrec ((f1 (lambda (...) ... (f2 ...))) (f2 (lambda (...) ... (f1 ...))) ) body-expr)