icfp12/task/bin3.obf