Do factorial_dec exercise in Hoare2.