Making OCaml Safe for Performance Engineering [video]