Camlp4 tool