2 extern "C" void abort ();
4 template <int a> inline int fact ();
5 template <> inline int fact<1> ();
7 template <int a> inline int fact ()
9 return a * fact<a-1> ();
12 template <> inline int fact<1> ()
19 if (fact<3> () != 6 || fact<1> () != 1
20 || fact<3> () != 6 || fact<1> () != 1 || fact<1+0> () != 1)