LetExp([
 FunctionDec[
  (printint,[
   (i,false,int)],
   NONE,
   LetExp([
    FunctionDec[
     (f,[
      (i,false,int)],
      NONE,
      IfExp(
       OpExp(GtOp,
        VarExp(
         SimpleVar(i)),
        IntExp(0)),
       SeqExp[
        CallExp(f,[
         OpExp(DivideOp,
          VarExp(
           SimpleVar(i)),
          IntExp(10))]),
        CallExp(print,[
         CallExp(chr,[
          OpExp(PlusOp,
           OpExp(MinusOp,
            VarExp(
             SimpleVar(i)),
            OpExp(TimesOp,
             OpExp(DivideOp,
              VarExp(
               SimpleVar(i)),
              IntExp(10)),
             IntExp(10))),
           CallExp(ord,[
            StringExp("0")]))])])]))]],
    IfExp(
     OpExp(LtOp,
      VarExp(
       SimpleVar(i)),
      IntExp(0)),
     SeqExp[
      CallExp(print,[
       StringExp("-")]),
      CallExp(f,[
       OpExp(MinusOp,
        IntExp(0),
        VarExp(
         SimpleVar(i)))])],
     IfExp(
      OpExp(GtOp,
       VarExp(
        SimpleVar(i)),
       IntExp(0)),
      CallExp(f,[
       VarExp(
        SimpleVar(i))]),
      CallExp(print,[
       StringExp("0")])))))]],
 LetExp([
  VarDec(v1,true,NONE,
   IntExp(1)),
  FunctionDec[
   (dummy1,[],
    SOME(int),
    LetExp([
     VarDec(v2,true,NONE,
      IntExp(100)),
     FunctionDec[
      (dummy2,[],
       SOME(int),
       LetExp([
        VarDec(v3,true,NONE,
         IntExp(3)),
        FunctionDec[
         (dummy3,[],
          SOME(int),
          LetExp([
           VarDec(v4,false,NONE,
            IntExp(4)),
           FunctionDec[
            (dummy4,[],
             SOME(int),
             VarExp(
              SimpleVar(v1)))]],
           OpExp(PlusOp,
            VarExp(
             SimpleVar(v3)),
            CallExp(dummy4,[]))))]],
        OpExp(PlusOp,
         VarExp(
          SimpleVar(v2)),
         CallExp(dummy3,[]))))]],
     CallExp(dummy2,[])))]],
  CallExp(printint,[
   OpExp(PlusOp,
    CallExp(dummy1,[]),
    VarExp(
     SimpleVar(v1)))])))