OCaml Program
Checking:
Static Dynamic Hybrid