extern "C" void abort(); template <void* P> void f(int j); template <int I> void f(int j); template <void* P> void f(int j) { abort(); } template <int I> void f(int j) { } int main() { f<3>(7); }