our code from the icfp in 2012