A SOS-based interpreted in OCaml