A safe but strange way of modifying OCaml compiler