// { dg-do run  }
template<class E> class DD
{
};

template<int> class D
{
};

template<template<class> class D,class E> class C
{
	D<E>	d;
};

int main()
{
	C<DD,int> c;
}