This needs camlp4.