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

void test() {
    f( g );
}

// Local Variables: //
// tab-width: 4 //
// End: //