OCaml Program
Inlining:
More Less
Checking:
Static Dynamic Hybrid