VM.assert(handle != -1);
VM._assert(handle != -1);
  public double getCounter(int counterNumber)  {    // Confirm that counters have been initialized     //  (using initializeCounters(int))    if (VM.VerifyAssertions)      VM.assert(handle != -1);    return counterManager.getCounter(this.getHandle(), counterNumber);  }