20_factorial_compile_time.cc