Exposed the checker (test on standby)

We cannot launch the checker for now because it doesn't
have a clue about the exposed functions from ocaml.