This benchmark comes from the Bit Stream benchmark for functional compilers, at http://user.it.uu.se/~pergu/bitbench/