apply delayed side effects before using camlp4