Translate "Mutually Recursive Functions"