if (initialHeapSize > maxHeapSize)
if (initialHeapSize.GT(maxHeapSize))
  public static void boot(int initial, int max) {    initialHeapSize = initial;    maxHeapSize = max;    if (initialHeapSize > maxHeapSize)       maxHeapSize = initialHeapSize;    currentHeapSize = initialHeapSize;    if (Assert.VERIFY_ASSERTIONS) sanityCheck();    endLastMajorGC = Statistics.cycles();  }