?=?: a function
    with parameters
      pointer to char 
      char 
    returning 
      char 

?=?: a function
    with parameters
      pointer to signed int 
      signed int 
    returning 
      signed int 

?=?: a function
    with parameters
      pointer to float 
      float 
    returning 
      float 

?=?: a forall
      DT: a incomplete type
    function
    with parameters
      pointer to pointer to instance of type DT 
      pointer to instance of type DT 
    returning 
      pointer to instance of type DT 

*?: a forall
      T: a type
        with assertions
          ?=?: a pointer to function
              with parameters
                pointer to instance of type T 
                instance of type T 
              returning 
                instance of type T 


    function
    with parameters
      pointer to instance of type T 
    returning 
      lvalue instance of type T 

__builtin_memcpy: a function
      accepting unspecified arguments
    returning 
      pointer to char 

a: a function
    with parameters
      char 
    returning 
      nothing 

b: a function
    with parameters
      signed int 
    returning 
      nothing 

c: a function
    with parameters
      pointer to signed int 
    returning 
      nothing 

d: a function
    with parameters
      pointer to float 
    returning 
      nothing 

struct a_struct
    with members
      a: a signed int 
      a: a char 
      a: a float 

?=?: a automatically generated inline static function
    with parameters
      _dst: a pointer to instance of struct a_struct 
      _src: a instance of struct a_struct 
    returning 
      instance of struct a_struct 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to signed int 
                  signed int 
                returning 
                  signed int 

          to arguments
                          Address of:
                Member Expression, with field: 
                  a: a signed int 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct a_struct 

                          Member Expression, with field: 
                a: a signed int 
              from aggregate: 
                Variable Expression: _src: a instance of struct a_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to char 
                  char 
                returning 
                  char 

          to arguments
                          Address of:
                Member Expression, with field: 
                  a: a char 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct a_struct 

                          Member Expression, with field: 
                a: a char 
              from aggregate: 
                Variable Expression: _src: a instance of struct a_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to float 
                  float 
                returning 
                  float 

          to arguments
                          Address of:
                Member Expression, with field: 
                  a: a float 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct a_struct 

                          Member Expression, with field: 
                a: a float 
              from aggregate: 
                Variable Expression: _src: a instance of struct a_struct 

          with environment:
            Types:
            Non-types:

      
        Return Statement, returning: Cast of:
  Variable Expression: _src: a instance of struct a_struct 

to:
  instance of struct a_struct 
with environment:
  Types:
  Non-types:



union b_struct
    with members
      a: a pointer to signed int 
      a: a pointer to char 
      a: a pointer to float 

?=?: a automatically generated inline static function
    with parameters
      _dst: a pointer to instance of union b_struct 
      _src: a instance of union b_struct 
    returning 
      instance of union b_struct 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: __builtin_memcpy: a function
                  accepting unspecified arguments
                returning 
                  pointer to char 

          to arguments
                          Variable Expression: _dst: a pointer to instance of union b_struct 

                          Address of:
                Variable Expression: _src: a instance of union b_struct 

                          Sizeof Expression on: instance of union b_struct 

          with environment:
            Types:
            Non-types:

      
        Return Statement, returning: Cast of:
  Variable Expression: _src: a instance of union b_struct 

to:
  instance of union b_struct 
with environment:
  Types:
  Non-types:



f: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of the_struct: a instance of struct a_struct 
      Declaration of the_struct: a instance of union b_struct 
      
        Expression Statement:
          Application of
            Variable Expression: a: a function
                with parameters
                  char 
                returning 
                  nothing 

          to arguments
                          Member Expression, with field: 
                a: a char 
              from aggregate: 
                Variable Expression: the_struct: a instance of struct a_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: b: a function
                with parameters
                  signed int 
                returning 
                  nothing 

          to arguments
                          Member Expression, with field: 
                a: a signed int 
              from aggregate: 
                Variable Expression: the_struct: a instance of struct a_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: c: a function
                with parameters
                  pointer to signed int 
                returning 
                  nothing 

          to arguments
                          Member Expression, with field: 
                a: a pointer to signed int 
              from aggregate: 
                Variable Expression: the_struct: a instance of union b_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: d: a function
                with parameters
                  pointer to float 
                returning 
                  nothing 

          to arguments
                          Member Expression, with field: 
                a: a pointer to float 
              from aggregate: 
                Variable Expression: the_struct: a instance of union b_struct 

          with environment:
            Types:
            Non-types:


struct c_struct
    with members
      signed int 
      char 
      float 

?=?: a automatically generated inline static function
    with parameters
      _dst: a pointer to instance of struct c_struct 
      _src: a instance of struct c_struct 
    returning 
      instance of struct c_struct 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to signed int 
                  signed int 
                returning 
                  signed int 

          to arguments
                          Address of:
                Member Expression, with field: 
                  signed int 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct c_struct 

                          Member Expression, with field: 
                signed int 
              from aggregate: 
                Variable Expression: _src: a instance of struct c_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to char 
                  char 
                returning 
                  char 

          to arguments
                          Address of:
                Member Expression, with field: 
                  char 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct c_struct 

                          Member Expression, with field: 
                char 
              from aggregate: 
                Variable Expression: _src: a instance of struct c_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to float 
                  float 
                returning 
                  float 

          to arguments
                          Address of:
                Member Expression, with field: 
                  float 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct c_struct 

                          Member Expression, with field: 
                float 
              from aggregate: 
                Variable Expression: _src: a instance of struct c_struct 

          with environment:
            Types:
            Non-types:

      
        Return Statement, returning: Cast of:
  Variable Expression: _src: a instance of struct c_struct 

to:
  instance of struct c_struct 
with environment:
  Types:
  Non-types:



union d_struct
    with members
      pointer to signed int 
      pointer to char 
      pointer to float 

?=?: a automatically generated inline static function
    with parameters
      _dst: a pointer to instance of union d_struct 
      _src: a instance of union d_struct 
    returning 
      instance of union d_struct 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: __builtin_memcpy: a function
                  accepting unspecified arguments
                returning 
                  pointer to char 

          to arguments
                          Variable Expression: _dst: a pointer to instance of union d_struct 

                          Address of:
                Variable Expression: _src: a instance of union d_struct 

                          Sizeof Expression on: instance of union d_struct 

          with environment:
            Types:
            Non-types:

      
        Return Statement, returning: Cast of:
  Variable Expression: _src: a instance of union d_struct 

to:
  instance of union d_struct 
with environment:
  Types:
  Non-types:



g: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      Declaration of x: a short unsigned int 
      Declaration of x: a instance of struct c_struct 
      Declaration of x: a instance of union d_struct 
      
        Expression Statement:
          Application of
            Variable Expression: a: a function
                with parameters
                  char 
                returning 
                  nothing 

          to arguments
                          Cast of:
                Variable Expression: x: a short unsigned int 

              to:
                char 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: b: a function
                with parameters
                  signed int 
                returning 
                  nothing 

          to arguments
                          Cast of:
                Variable Expression: x: a short unsigned int 

              to:
                signed int 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: c: a function
                with parameters
                  pointer to signed int 
                returning 
                  nothing 

          to arguments
                          Member Expression, with field: 
                pointer to signed int 
              from aggregate: 
                Variable Expression: x: a instance of union d_struct 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: d: a function
                with parameters
                  pointer to float 
                returning 
                  nothing 

          to arguments
                          Member Expression, with field: 
                pointer to float 
              from aggregate: 
                Variable Expression: x: a instance of union d_struct 

          with environment:
            Types:
            Non-types:


struct forward
q: a pointer to instance of struct forward 
struct forward
    with members
      y: a signed int 

?=?: a automatically generated inline static function
    with parameters
      _dst: a pointer to instance of struct forward 
      _src: a instance of struct forward 
    returning 
      instance of struct forward 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: ?=?: a function
                with parameters
                  pointer to signed int 
                  signed int 
                returning 
                  signed int 

          to arguments
                          Address of:
                Member Expression, with field: 
                  y: a signed int 
                from aggregate: 
                  Applying untyped: 
                      Name: *?

                  ...to: 
                      Variable Expression: _dst: a pointer to instance of struct forward 

                          Member Expression, with field: 
                y: a signed int 
              from aggregate: 
                Variable Expression: _src: a instance of struct forward 

          with environment:
            Types:
            Non-types:

      
        Return Statement, returning: Cast of:
  Variable Expression: _src: a instance of struct forward 

to:
  instance of struct forward 
with environment:
  Types:
  Non-types:



h: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      
        Expression Statement:
          Member Expression, with field: 
            y: a signed int 
          from aggregate: 
            Application of
              Variable Expression: *?: a forall
                    T: a type
                      with assertions
                        ?=?: a pointer to function
                            with parameters
                              pointer to instance of type T 
                              instance of type T 
                            returning 
                              instance of type T 


                  function
                  with parameters
                    pointer to instance of type T 
                  returning 
                    lvalue instance of type T 

            to arguments
                              Variable Expression: q: a pointer to instance of struct forward 

            with inferred parameters:
              ?=?: a inline static function
                with parameters
                  _dst: a pointer to instance of struct forward 
                  _src: a instance of struct forward 
                returning 
                  instance of struct forward 

          with environment:
            Types:
            Non-types: