(letrec ((n1 e1) ... (nk ek)) body-expr)
(letrec ((f1 (lambda (...) ... (f2 ...))) (f2 (lambda (...) ... (f1 ...))) ) body-expr)