a: a signed int 
b: a signed int 
b: a float 
g: a function
    with parameters
      signed int 
    returning 
      nothing 

g: a function
    with parameters
      unsigned int 
    returning 
      nothing 

f: a function
    returning 
      nothing 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: g: a function
                with parameters
                  signed int 
                returning 
                  nothing 

          to arguments
                          Comma Expression:
                Variable Expression: a: a signed int 

                Variable Expression: b: a signed int 

          with environment:
            Types:
            Non-types:

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

          to arguments
                          Comma Expression:
                Comma Expression:
                  Variable Expression: a: a signed int 

                  Variable Expression: a: a signed int 

                Variable Expression: b: a signed int 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: g: a function
                with parameters
                  unsigned int 
                returning 
                  nothing 

          to arguments
                          Sizeof Expression on:                 Variable Expression: a: a signed int 


          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Application of
            Variable Expression: g: a function
                with parameters
                  unsigned int 
                returning 
                  nothing 

          to arguments
                          Sizeof Expression on: signed int 

          with environment:
            Types:
            Non-types: