Fixed factorial programs, I think