/* define valid mutually recursive procedures */
let

function do_nothing1(a : int, b : string)=
                do_nothing2(a+1)

function do_nothing2(d : int) =
                if d < 10 then do_nothing1(d, "str")

in
        do_nothing1(0, "str2")
end