OCaml is an industrial strength programming language supporting functional,
imperative and object-oriented styles.

Tested as working on XE500C13-K01US.