int ?=?( int *, int ); forall(dtype DT) DT * ?=?( DT **, DT * ); void a() { forall( otype T ) void f( T ); void g( forall( otype U ) void p( U ) ); g( f ); } void g() { void h( int *null ); forall( otype T ) T id( T ); forall( dtype T ) T *0; int 0; h( id( id( id( 0 ) ) ) ); } // Local Variables: // // tab-width: 4 // // End: //