Rename camlp4 post
Split camlp4 post