(prog     1
  <null 0 void>
  <nullNode 2>
  (subpDef  3 void
   <subp     4 <SUBP < int  int > false false int> multiply>        // multiply subpDef
  <null 0 void>
   (labeldSt 5 void
    (list 6
     <labelDef 7 _lab8>)
    (block    8 void
     (block    9 void line 3
      (assign   10 int line 4                          //a := x;
       <var      11 int a>
       <var      12 int x>)
      (assign   13 int line 4                          //b := y;
       <var      14 int b>
       <var      15 int y>)
      (assign   16 int line 4                          //c := 0;
       <var      17 int c>
       <const    18 int 0>)
      (while    19 void line 5                          //while b > 0 do
      <null 0 void>
      <null 0 void>
       (labeldSt 20 bool
        (list 21
         <labelDef 22 _lab4>)                          //// _lab4: loopBackLabel
        (expStmt  23 bool                               //  b > 0
         (cmpGt    24 bool
          <var      25 int b>
          <const    26 int 0>)))
       (labeldSt 27 void
        (list 28
         <labelDef 29 _lab7>)
        (block    30 void line 6
         (if       31 void line 7                          //if odd b then
          (cmpEq    32 bool                            //// b and 1 == 
           (and      33 int
            <var      34 int b>
            <const    35 int 1>)
           <const    36 int 1>)
          (labeldSt 37 int
           (list 38
            <labelDef 39 _lab1>)
           (assign   40 int line 7                          //c := c + a;
            <var      41 int c>
            (add      42 int
             <var      43 int c>
             <var      44 int a>)))
          (labeldSt 45 void
           (list 46
            <labelDef 47 _lab2>)
          <null 0 void>)
          (labeldSt 48 void
           (list 49
            <labelDef 50 _lab3>)
          <null 0 void>))
         (assign   51 int line 8                          //a := 2 * a;
          <var      52 int a>
          (mult     53 int
           <const    54 int 2>
           <var      55 int a>))
         (assign   56 int line 8                          //b := b / 2;
          <var      57 int b>
          (div      58 int
           <var      59 int b>
           <const    60 int 2>))
         (labeldSt 61 void
          (list 62
           <labelDef 63 _lab5>)                          //// _lab5: continue target
         <null 0 void>)))
       (expStmt  64 int
       <null 0 void>)
      <null 0 void>
       (labeldSt 65 void
        (list 66
         <labelDef 67 _lab6>)                          //// _lab6: break target
       <null 0 void>))
      (return   68 int line 10                          //return c;
       <var      69 int c>)))))
  (subpDef  70 void
   <subp     71 <SUBP <> false false int> main>        // main subpDef
  <null 0 void>
   (labeldSt 72 void
    (list 73
     <labelDef 74 _lab10>)
    (block    75 void
     (block    76 void line 16
      (assign   77 int line 17                          //x := m; // const m=7
       <var      78 int x>
       <const    79 int 7>)
      (assign   80 int line 17                          //y := n;  // const n=85
       <var      81 int y>
       <const    82 int 85>)
      (expStmt  83 int line 18                          //write x;
       (call     84 int                                        //// call printf("%d", x);
        (addr     85 <PTR <SUBP <<PTR char> > true false int>>
         <subp     86 <SUBP <<PTR char> > true false int> printf>)
        (list 87
         (decay    88 <PTR char>
          <const    89 <VECT 3 0 char> "%d">)
         <var      90 int x>)))
      (expStmt  91 int line 18                          //write y;
       (call     92 int                                      //// call printf("%d", y);
        (addr     93 <PTR <SUBP <<PTR char> > true false int>>
         <subp     94 <SUBP <<PTR char> > true false int> printf>)
        (list 95
         (decay    96 <PTR char>
          <const    97 <VECT 3 0 char> "%d">)
         <var      98 int y>)))
      (expStmt  99 int line 18                          //writeln;
       (call     100 int                                    //// call printf("´n");
        (addr     101 <PTR <SUBP <<PTR char> > true false int>>
         <subp     102 <SUBP <<PTR char> > true false int> printf>)
        (list 103
         (decay    104 <PTR char>
          <const    105 <VECT 2 0 char> "´n">))))
      (expStmt  106 int line 18                          //write multiply(x, y);
       (call     107 int                                      //// call printf("%d",
        (addr     108 <PTR <SUBP <<PTR char> > true false int>>
         <subp     109 <SUBP <<PTR char> > true false int> printf>)
        (list 110
         (decay    111 <PTR char>
          <const    112 <VECT 3 0 char> "%d">)
         (call     113 int                                   //call multiply(x, y)  );
          (addr     114 <PTR <SUBP < int  int > false false int>>
           <subp     115 <SUBP < int  int > false false int> multiply>)
          (list 116
           <var      117 int x>
           <var      118 int y>)))))
      (expStmt  119 int line 18                          //writeln;
       (call     120 int                                  //// call printf("´n");
        (addr     121 <PTR <SUBP <<PTR char> > true false int>>
         <subp     122 <SUBP <<PTR char> > true false int> printf>)
        (list 123
         (decay    124 <PTR char>
          <const    125 <VECT 2 0 char> "´n">)))))))))              // end of main



SymTable Root

  type     int (flags 3 12) size 4
  type     offset (flags 3 12) size 4
  type     void (flags 3 12) size 1
  type     bool (flags 3 12) size 4 org  int
  type     char (flags 3 12) size 1 org  int
  type     short (flags 3 12) size 2
  type     long (flags 3 12) size 4
  type     long_long (flags 3 12) size 8
  type     u_char (flags 3 12) size 1
  type     u_short (flags 3 12) size 2
  type     u_int (flags 3 12) size 4
  type     u_long (flags 3 12) size 4
  type     u_long_long (flags 3 12) size 8
  type     address (flags 3 12) size 4 org  u_long
  type     float (flags 3 12) size 4
  type     double (flags 3 12) size 8
  type     long_double (flags 3 12) size 8
  type    <VECT 0 0  char> sizeExp <const 0> elemCount <const 0> lowerBound 0
  tag     _tag1 <REGION _blankRegion> (flags 2)
  type    <REGION _blankRegion> (flags 11)
  subp    printf <SUBP <<PTR char> > true false int> extern
  type    <PTR char> size 4
  param   _param1 3 int in printf (flags 2) private  auto
  type    <SUBP <<PTR char> > true false int>
  type    <VECT 3 0 char> size 3 elemCount 3 lowerBound 0
  type    <VECT 2 0 char> size 2 elemCount 2 lowerBound 0
  subp    main <SUBP <> false false int> callList list 0 public
  type    <PTR <SUBP <<PTR char> > true false int>> size 4
  type    <PTR <SUBP < int  int > false false int>> size 4

SymTable main parent SymTable Root subp main

  type    <SUBP <> false false int>
  subp    multiply <SUBP < int  int > false false int> in main param1 x private
  var     x 1 int in main private  auto
  var     y 2 int in main private  auto
  label   _lab10 kind 1 (flags 2)
  label   _lab11 kind 15 (flags 2)

SymTable multiply parent SymTable main subp multiply

  param   x 2 int in multiply private  auto
  param   y 4 int in multiply private  auto
  type    <SUBP < int  int > false false int>
  var     a 1 int in multiply private  auto
  var     b 3 int in multiply private  auto
  var     c 5 int in multiply private  auto
  label   _lab1 kind 2 (flags 2)
  label   _lab2 kind 3 (flags 2)
  label   _lab3 kind 20 (flags 2)
  label   _lab4 kind 6 (flags 2)
  label   _lab5 kind 8 (flags 2)
  label   _lab6 kind 21 (flags 2)
  label   _lab7 kind 7 (flags 2)
  label   _lab8 kind 1 (flags 2)
  label   _lab9 kind 15 (flags 2)

SymTable Constant

  intC    4 int
  intC    1 int
  intC    2 int
  intC    8 int
  intC    0 int
  boolC    true bool (flags 3) value 1
  boolC    false bool (flags 3) value 0
  intC    00L long
  floatC  0.0F float
  floatC  0.0 double
  stringC "%d" <VECT 3 0 char> length 3
  intC    3 int
  stringC "\n" <VECT 2 0 char> length 2
  intC    7 int
  namedC  m 7 unique:m
  intC    85 int
  namedC  n 85 unique:n