a: a signed int 
a: a float 
f: a function
    with parameters
      signed int 
    returning 
      signed int 

f: a function
    with parameters
      float 
    returning 
      float 

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

          to arguments
                          Cast of:
                Variable Expression: a: a signed int 

              to:
                signed int 

          with environment:
            Types:
            Non-types:

      
        Expression Statement:
          Cast of:
            Application of
              Variable Expression: f: a function
                  with parameters
                    signed int 
                  returning 
                    signed int 

            to arguments
                              Variable Expression: a: a signed int 


          to:
            signed int 
          with environment:
            Types:
            Non-types:


p: a tuple of types
    signed int 

p: a tuple of types
    signed int 
    double 

p: a tuple of types
    signed int 
    signed int 
    signed int 

p: a tuple of types
    signed int 
    signed int 
    signed int 
    signed int 

q: a tuple of types
    char 

q: a tuple of types
    signed int 
    signed int 

q: a tuple of types
    signed int 
    signed int 
    float 

q: a tuple of types
    signed int 
    signed int 
    signed int 
    signed int 

r: a function
    with parameters
      signed int 
      signed int 
      signed int 
      signed int 
    returning 
      signed int 
      signed int 

s: a function
      accepting unspecified arguments
    returning 
      nothing 
    with body 
      
        Expression Statement:
          Application of
            Variable Expression: r: a function
                with parameters
                  signed int 
                  signed int 
                  signed int 
                  signed int 
                returning 
                  signed int 
                  signed int 

          to arguments
                          Variable Expression: p: a tuple of types
                  signed int 
                  signed int 
                  signed int 


                          Cast of:
                Variable Expression: q: a tuple of types
                    char 


              to:
                signed int 

          with environment:
            Types:
            Non-types:

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

          to arguments
                          Cast of:
                Tuple:
                                      Variable Expression: q: a tuple of types
                        char 


                                      Variable Expression: p: a tuple of types
                        signed int 
                        signed int 
                        signed int 



              to:
                signed int 
                signed int 
                signed int 
                signed int 

          with environment:
            Types:
            Non-types:

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

          to arguments
                          Application of
                Variable Expression: r: a function
                    with parameters
                      signed int 
                      signed int 
                      signed int 
                      signed int 
                    returning 
                      signed int 
                      signed int 

              to arguments
                                  Variable Expression: p: a tuple of types
                      signed int 
                      signed int 
                      signed int 


                                  Cast of:
                    Variable Expression: q: a tuple of types
                        char 


                  to:
                    signed int 


                          Application of
                Variable Expression: r: a function
                    with parameters
                      signed int 
                      signed int 
                      signed int 
                      signed int 
                    returning 
                      signed int 
                      signed int 

              to arguments
                                  Variable Expression: q: a tuple of types
                      signed int 
                      signed int 


                                  Variable Expression: q: a tuple of types
                      signed int 
                      signed int 



          with environment:
            Types:
            Non-types: