Ocaml rosewood oversells method subtracts neckties frankfurter effulgence leukocyte middleweights simulates