<html>

  <head>

    <meta http-equiv="content-type" content="text/html; charset=UTF-8">

  </head>

  <body>

    <p>Hi,</p>

    <pre style="white-space: pre-wrap; color: rgb(0, 0, 0); font-style: normal; font-variant-ligatures: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: 2; text-align: start; text-indent: 0px; text-transform: none; widows: 2; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration-style: initial; text-decoration-color: initial;">> Is there 1002 hard-coded into the file?

Yes

> If there are ten instances of ab two are there ten separate definitions for this counter?

Yes, because they may differ from one another

> Do the individual instances necessarily retain their $0 IDs across reload?

No

This is a big problem that I completely overlooked. Since the instances don't retain their $0 ID across reload I have to think of a solution right now. Perhaps the solution will be related to making 'local' [ab]s actually local. I have to think about it more.

-----

Regarding Jonathan's message. I will read it carefully tomorrow.

Best,

</pre>

  </body>

</html>