almost done with port

[IRC.git] / Robust / src / Benchmarks / SingleTM / Yada / global.java

public global {
  public global() {
  }

  int global_totalNumAdded;
  int global_numProcess;
}