x: a int 
y: a typedef definition for double 
t: a typedef definition for float 
z: a instance of type y
u: a type definition for instance of struct __anonymous0
    with members 
      a: a int 
      b: a double 

f: a function
  with parameters 
    y: a int 
  returning int 

q: a instance of type y
w: a function
  with parameters 
    y: a instance of type y
    v: a instance of type u
  returning instance of type y
  with body 
    x: a type definition 
      with assertions
        t: a function
          with parameters 
            instance of type u
          returning instance of type x

      
    u: a instance of type u
      with initializer y 
    z: a instance of type x
      with initializer ( t u ) 

p: a instance of type y
context has_u
  with type parameters 
    z: a type variable 
  with members 
    u: a function
      with parameters 
        instance of type z
      returning instance of type z


q: a forall 
    t: a type variable 
      with assertions
        instance of context has_u
          with parameters 
          Type:            instance of type t

      
function
  with parameters 
    the_t: a instance of type t
  returning instance of type y
  with body 
    y: a instance of type t
      with initializer ( u the_t ) 

f: a function
  with parameters 
    p: a instance of type y
  returning instance of type t
  with body 
    y: a int 
    x: a typedef definition for char 
      y: a instance of type x
      z: a typedef definition for instance of type x
        x: a instance of type z
        y: a typedef definition for instance of type z
        z: a instance of type y
          with initializer x 
      x: a instance of type z
        with initializer y 
    q: a instance of type x
      with initializer y 

g: a function
  with parameters 
    void 
  returning instance of type t
  with body 
    x: a typedef definition for char 

    Try

        Branches of execution: 
              
              Application of: 

                  Referencing: Variable: some_func

              ... on no arguments: 


            Catch

                Declaration: 
                    x: a instance of type x

                Branches of execution: 
                      y: a instance of type t
                        with initializer x 
    z: a instance of type x

q: a function
  with no parameters 
  with old-style identifier list 
    i: a untyped entity 
  with old-style declaration list 
    i: a int 
  returning instance of type y
  with body 

    Switch

        Expression: 

            Referencing: Variable: i

        Branches of execution: 

            Case

                Expression: 

                    Referencing: Variable: 0

                Branches of execution: 

                    Return

                        Expression: 

                            Referencing: Variable: q

            Default

                Expression: 

                    Null Expression

                Branches of execution: 

                    Return

                        Expression: 

                            Referencing: Variable: i