My extensions to and experiments with the OCaml compiler