template <long n>
struct Factorial
{
    static const long value = n*Factorial<n-1>::value;
};

template <>
struct Factorial<0>
{
    static const long value = 1;
};

int
main()
{
    return Factorial<5>::value;
}