integration1d requires camlp4