forall( otype T ) void f( void (*)( T, T * ) );
forall( otype U ) void g( U,  U * );
forall( otype U ) void h( U *, U );

void test() {
    f( h );
    f( g );
}

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