(letrec ((f1 (lambda (...) ... (f2 ...))) (f2 (lambda (...) ... (f1 ...))) ) body-expr)