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