LetExp([
 FunctionDec[
  (do_nothing1,[
   (a,false,int),
   (b,false,string)],
   NONE,
   CallExp(do_nothing2,[
    OpExp(PlusOp,
     VarExp(
      SimpleVar(a)),
     IntExp(1))])),
  (do_nothing2,[
   (d,false,int)],
   NONE,
   CallExp(do_nothing1,[
    VarExp(
     SimpleVar(d)),
    StringExp("str")]))]],
 CallExp(do_nothing1,[
  IntExp(0),
  StringExp("str2")]))