VM.assert(false, "TODO: implement reset for VM_BasicBlockCounterDatabase");
VM._assert(false, "TODO: implement reset for VM_BasicBlockCounterDatabase");
  public void reset()    {     VM.assert(false, "TODO: implement reset for VM_BasicBlockCounterDatabase");   }} // end of class