main: C function
      accepting unspecified arguments
    returning 
      signed int 
    with body 
      CompoundStmt
        Declaration of i: signed int 
        Declaration of x: signed int 
        Declaration of y: signed int 
                  Expression Statement:
            Applying untyped: 
                Name: ?=?
            ...to: 
                Address of:
                  Name: x
                Name: 0

                  Expression Statement:
            Applying untyped: 
                Name: ?=?
            ...to: 
                Address of:
                  Name: y
                Name: 0

                  CompoundStmt
                          If on condition: 
                  Cast of:
                    Applying untyped: 
                        Name: ?!=?
                    ...to: 
                        Applying untyped: 
                            Name: ?==?
                        ...to: 
                            Name: x
                            Name: y
                        Name: 0

                  to:
                    signed int 
              .... and branches: 
                  CompoundStmt
                                          Labels: {}
                      For Statement
                        initialization: 

                        condition: 
                          Cast of:
                            Applying untyped: 
                                Name: ?!=?
                            ...to: 
                                Applying untyped: 
                                    Name: ?<?
                                ...to: 
                                    Name: i
                                    Name: y
                                Name: 0

                          to:
                            signed int 

                        increment: 

                        statement block: 
                          CompoundStmt
                                                          Expression Statement:
                                Applying untyped: 
                                    Name: ?+=?
                                ...to: 
                                    Address of:
                                      Name: y
                                    Name: 1

                                                          If on condition: 
                                  Cast of:
                                    Applying untyped: 
                                        Name: ?!=?
                                    ...to: 
                                        Applying untyped: 
                                            Name: ?<?
                                        ...to: 
                                            Name: y
constant expression 10 signed int                                         Name: 0

                                  to:
                                    signed int 
                              .... and branches: 
                                  Branch (Break)





                  While on condition: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?==?
                    ...to: 
                        Name: y
constant expression 10 signed int                     Name: 0

              to:
                signed int 
          .... with body: 
              Null Statement

                  While on condition: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?<?
                    ...to: 
                        Name: x
constant expression 10 signed int                     Name: 0

              to:
                signed int 
          .... with body: 
              CompoundStmt
                                  While on condition: 
                      Cast of:
                        Applying untyped: 
                            Name: ?!=?
                        ...to: 
                            Applying untyped: 
                                Name: ?<?
                            ...to: 
                                Name: y
constant expression 5 signed int                             Name: 0

                      to:
                        signed int 
                  .... with body: 
                      CompoundStmt
                                                  If on condition: 
                              Cast of:
                                Applying untyped: 
                                    Name: ?!=?
                                ...to: 
                                    Applying untyped: 
                                        Name: ?==?
                                    ...to: 
                                        Name: y
constant expression 3 signed int                                     Name: 0

                              to:
                                signed int 
                          .... and branches: 
                              Branch (Break)


                                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: x
                        Name: 1


                  Labels: {A,}
          For Statement
            initialization: 
              Expression Statement:
                Applying untyped: 
                    Name: ?=?
                ...to: 
                    Address of:
                      Name: i
                    Name: 0

            condition: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?<?
                    ...to: 
                        Name: i
constant expression 10 signed int                     Name: 0

              to:
                signed int 

            increment: 
              Applying untyped: 
                  Name: ?+=?
              ...to: 
                  Address of:
                    Name: i
                  Name: 1

            statement block: 
              CompoundStmt
                                  Labels: {B,}
                  For Statement
                    initialization: 
                      Expression Statement:
                        Applying untyped: 
                            Name: ?=?
                        ...to: 
                            Address of:
                              Name: i
                            Name: 0

                    condition: 
                      Cast of:
                        Applying untyped: 
                            Name: ?!=?
                        ...to: 
                            Applying untyped: 
                                Name: ?<?
                            ...to: 
                                Name: i
constant expression 10 signed int                             Name: 0

                      to:
                        signed int 

                    increment: 
                      Applying untyped: 
                          Name: ?+=?
                      ...to: 
                          Address of:
                            Name: i
                          Name: 1

                    statement block: 
                      CompoundStmt
                                                  Labels: {C,}
                          For Statement
                            initialization: 
                              Expression Statement:
                                Applying untyped: 
                                    Name: ?=?
                                ...to: 
                                    Address of:
                                      Name: i
                                    Name: 0

                            condition: 
                              Cast of:
                                Applying untyped: 
                                    Name: ?!=?
                                ...to: 
                                    Applying untyped: 
                                        Name: ?<?
                                    ...to: 
                                        Name: i
constant expression 10 signed int                                     Name: 0

                              to:
                                signed int 

                            increment: 
                              Applying untyped: 
                                  Name: ?+=?
                              ...to: 
                                  Address of:
                                    Name: i
                                  Name: 1

                            statement block: 
                              CompoundStmt
                                                                  Branch (Goto)

                                                                  Branch (Goto)

                                                                  Branch (Goto)

                                                                  Branch (Continue)

                                                                  Branch (Continue)

                                                                  Branch (Continue)

                                                                  Branch (Continue)

                                                                  Branch (Break)

                                                                  Branch (Break)

                                                                  Branch (Break)

                                                                  Branch (Break)







                  Labels: {D,}
          For Statement
            initialization: 

            condition: 

            increment: 

            statement block: 
              CompoundStmt
                                  Branch (Break)

                                  Branch (Continue)



                  Expression Statement:
            Applying untyped: 
                Name: ?+=?
            ...to: 
                Address of:
                  Name: i
                Name: 1

                  Branch (Goto)

                  Labels: {X,Y,}
          For Statement
            initialization: 

            condition: 

            increment: 

            statement block: 
              CompoundStmt
                                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1

                                  If on condition: 
                      Cast of:
                        Applying untyped: 
                            Name: ?!=?
                        ...to: 
                            Applying untyped: 
                                Name: ?>?
                            ...to: 
                                Name: i
constant expression 5 signed int                             Name: 0

                      to:
                        signed int 
                  .... and branches: 
                      Branch (Continue)

                                  If on condition: 
                      Cast of:
                        Applying untyped: 
                            Name: ?!=?
                        ...to: 
                            Applying untyped: 
                                Name: ?<?
                            ...to: 
                                Name: i
constant expression 5 signed int                             Name: 0

                      to:
                        signed int 
                  .... and branches: 
                      Branch (Break)

                                  If on condition: 
                      Cast of:
                        Applying untyped: 
                            Name: ?!=?
                        ...to: 
                            Applying untyped: 
                                Name: ?<?
                            ...to: 
                                Name: i
constant expression 5 signed int                             Name: 0

                      to:
                        signed int 
                  .... and branches: 
                      Branch (Break)

                                  Branch (Break)



                  Labels: {XX,}
          For Statement
            initialization: 

            condition: 

            increment: 

            statement block: 
              CompoundStmt
                                  Labels: {YY,}
                  For Statement
                    initialization: 

                    condition: 

                    increment: 

                    statement block: 
                      CompoundStmt
                                                  Labels: {ZZ,}
                          For Statement
                            initialization: 

                            condition: 

                            increment: 

                            statement block: 
                              CompoundStmt
                                                                  Expression Statement:
                                    Applying untyped: 
                                        Name: ?+=?
                                    ...to: 
                                        Address of:
                                          Name: i
                                        Name: 1

                                                                  If on condition: 
                                      Cast of:
                                        Applying untyped: 
                                            Name: ?!=?
                                        ...to: 
                                            Applying untyped: 
                                                Name: ?>?
                                            ...to: 
                                                Name: i
constant expression 5 signed int                                             Name: 0

                                      to:
                                        signed int 
                                  .... and branches: 
                                      Branch (Continue)

                                                                  If on condition: 
                                      Cast of:
                                        Applying untyped: 
                                            Name: ?!=?
                                        ...to: 
                                            Applying untyped: 
                                                Name: ?<?
                                            ...to: 
                                                Name: i
constant expression 5 signed int                                             Name: 0

                                      to:
                                        signed int 
                                  .... and branches: 
                                      Branch (Continue)

                                                                  If on condition: 
                                      Cast of:
                                        Applying untyped: 
                                            Name: ?!=?
                                        ...to: 
                                            Applying untyped: 
                                                Name: ?<?
                                            ...to: 
                                                Name: i
constant expression 5 signed int                                             Name: 0

                                      to:
                                        signed int 
                                  .... and branches: 
                                      Branch (Continue)

                                                                  If on condition: 
                                      Cast of:
                                        Applying untyped: 
                                            Name: ?!=?
                                        ...to: 
                                            Applying untyped: 
                                                Name: ?>?
                                            ...to: 
                                                Name: i
constant expression 5 signed int                                             Name: 0

                                      to:
                                        signed int 
                                  .... and branches: 
                                      Branch (Break)

                                                                  If on condition: 
                                      Cast of:
                                        Applying untyped: 
                                            Name: ?!=?
                                        ...to: 
                                            Applying untyped: 
                                                Name: ?<?
                                            ...to: 
                                                Name: i
constant expression 5 signed int                                             Name: 0

                                      to:
                                        signed int 
                                  .... and branches: 
                                      Branch (Break)

                                                                  If on condition: 
                                      Cast of:
                                        Applying untyped: 
                                            Name: ?!=?
                                        ...to: 
                                            Applying untyped: 
                                                Name: ?<?
                                            ...to: 
                                                Name: i
constant expression 5 signed int                                             Name: 0

                                      to:
                                        signed int 
                                  .... and branches: 
                                      Branch (Break)

                                                                  Branch (Break)







                  Labels: {}
          For Statement
            initialization: 

            condition: 

            increment: 

            statement block: 
              Null Statement


                  Labels: {}
          For Statement
            initialization: 
Declaration of i: signed int with initializer 
              Simple Initializer:                 Name: 0

            condition: 

            increment: 

            statement block: 
              Null Statement


                  Labels: {}
          For Statement
            initialization: 

            condition: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?<?
                    ...to: 
                        Name: i
                        Name: 0
                    Name: 0

              to:
                signed int 

            increment: 

            statement block: 
              Null Statement


                  Labels: {}
          For Statement
            initialization: 

            condition: 

            increment: 
              Applying untyped: 
                  Name: ?+=?
              ...to: 
                  Address of:
                    Name: i
                  Name: 1

            statement block: 
              Null Statement


                  Labels: {L0,L1,L2,L3,L4,L5,L6,L7,L8,L9,L10,L11,L12,L13,L14,L15,L16,L17,L18,L19,L20,L21,L22,L23,L24,L25,L26,L27,L28,L29,L31,L32,L33,L34,}
          For Statement
            initialization: 

            condition: 

            increment: 

            statement block: 
              CompoundStmt
                                  Branch (Break)



                  Switch on condition: Name: i

              Default 
                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1
              Case Name: 0

                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1
                  Branch (Break)
              Case Name: 1

                  Switch on condition: Name: i

                      Case Name: 0

                          Branch (Break)
                      Default 
                          Branch (Break)

                  Choose on condition: Name: i

              Default 
                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1
              Case Name: 0

                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1
                  Branch (Break)
              Case Name: 1

                  Choose on condition: Name: i

                      Case Name: 0

                          Branch (Break)
                      Default 
                          Branch (Break)
                  Fall-through statement
              Case constant expression 2 signed int 
                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1

                  CompoundStmt
            Declaration of array: static open array of pointer to void with initializer 
              Compound initializer:  
                Simple Initializer:                   Applying untyped: 
                      Name: LabAddress
                  ...to: 
                      Name: foo

                Simple Initializer:                   Applying untyped: 
                      Name: LabAddress
                  ...to: 
                      Name: bar

                Simple Initializer:                   Applying untyped: 
                      Name: LabAddress
                  ...to: 
                      Name: hack

                          Branch (Goto)


                  If on condition: 
              Cast of:
                Applying untyped: 
                    Name: ?!=?
                ...to: 
                    Applying untyped: 
                        Name: ?>?
                    ...to: 
                        Name: i
constant expression 5 signed int                     Name: 0

              to:
                signed int 
          .... and branches: 
              CompoundStmt
                                  Expression Statement:
                    Applying untyped: 
                        Name: ?+=?
                    ...to: 
                        Address of:
                          Name: i
                        Name: 1

                                  Branch (Break)

              Expression Statement:
                Applying untyped: 
                    Name: ?+=?
                ...to: 
                    Address of:
                      Name: i
                    Name: 1