template <typename T> struct S;
template<typename T> void c(T)
{
}
template <> struct S <int>
void a()
c(&S<int>::b);
void b() {}
};