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

f: function
    with parameters
      float 
    returning 
      float 

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

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

                to:
                  signed int 

            with environment:
              Types:
              Non-types:

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

              to arguments
                                  Variable Expression: a: signed int 


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


p: tuple of types
    signed int 

p: tuple of types
    signed int 
    double 

p: tuple of types
    signed int 
    signed int 
    signed int 

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

q: tuple of types
    char 

q: tuple of types
    signed int 
    signed int 

q: tuple of types
    signed int 
    signed int 
    float 

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

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

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

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


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


                to:
                  signed int 

            with environment:
              Types:
              Non-types:

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

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


                                          Variable Expression: p: 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: function
                  with parameters
                    signed int 
                    signed int 
                    signed int 
                    signed int 
                  returning 
                    signed int 
                    signed int 

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

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


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


                    to:
                      signed int 


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

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


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



            with environment:
              Types:
              Non-types:


cfa-cpp: GenPoly/Box.cc:401: void GenPoly::{anonymous}::Pass1::boxParams(ApplicationExpr*, FunctionType*, std::list<Expression*>::iterator&, const TyVarMap&): Assertion `arg != appExpr->get_args().end()' failed.
Aborted (core dumped)