VM.assert(handle == -1);
VM._assert(handle == -1);
  public void initializeCounters(int countersNeeded)  {    // Confirm that this method is called only once.  Once a handle is    // assigned, it should not be changed.  Use resizeCounters(int) to    // change the size of the data.    if (VM.VerifyAssertions)      VM.assert(handle == -1);    this.numCounters = countersNeeded;    // Register  this many counters with the counter manager    this.handle = counterManager.registerCounterSpace(countersNeeded);  }