// "./cfa-cpp -c simple.c"
// "./cfa -v simple.c"
// "./cfa -CFA simple.c > simple_out.c"

forall( type T ) void f( void (*)( T, T* ) );
forall( type U ) void g( U*, U );

void test()
{
  f( g );
}