Might be useful to give an overview of what gets rewritten into what. It's not entirely clear/obvious if you ask me (yet I don't know camlp4, so that might be part of the issue).