let export i =
      assert (i < !counter);
      LName (InfiniteArray.get array i)