/* define valid mutually recursive procedures */letfunction do_nothing1(a: int, b: string)=		do_nothing2(a+1)function do_nothing2(d: int) =		do_nothing1(d, "str")in	do_nothing1(0, "str2")end