objsize requires camlp4