Mea culpa. I thought I could offer a simple example, but my binomial-coefficient program is wrong, and loses its force when corrected. For a convincing example, see the program in https://digitalcommons.dartmouth.edu/cs_tr/385/ Unfortunately you have to read a couple of pages of explanation to see what this program is up to. It's a fun problem, though. Doug