public void EndInstCounter() { if (inserting) throw new Exception("Cannot reset instruction counter during insert"); currI = tide; }