<p><span class="h-card" translate="no"><a href="https://mastodon.social/@whitequark" class="u-url mention">@<span>whitequark</span></a></span> I think camlp5 predates camlp4. They probably tried to fix it by decrementing the number and eventually planned to get camlp0 — the camlp to end all camlp's.<br />But something went wrong with that plan. Maybe someone forgot that `Stdlib.decr` works on `int ref` and couldn't figure out why their decrement code didn't compile.</p>