histogramref sizes "" js_of_ocaml/bzip2 #fbaf4f direct (bzip2)
histogram sizes "" effects-cps/bzip2 #fb4f4f cps (bzip2)
histogram sizes "" effects-double-translation/bzip2 #833d3d double-translation (bzip2)