[Just for fun] Compile-time factorial