template T start(T) {} template <> char start(char); // specialization template int start(int); // instantiation