printf("GetAvailableSpace: band=%d,%d,%d,%d count=%d\n",
PRINTF("GetAvailableSpace: band=%d,%d,%d,%d count=%d\n",
  void GetAvailableSpace(nscoord aY) {#ifdef DEBUG    // Verify that the caller setup the coordinate system properly    nscoord wx, wy;    mSpaceManager->GetTranslation(wx, wy);    NS_ASSERTION((wx == mSpaceManagerX) && (wy == mSpaceManagerY),                 "bad coord system");#endif    mBand.GetAvailableSpace(aY - BorderPadding().top, mAvailSpaceRect);#ifdef DEBUG    if (gNoisyReflow) {      nsFrame::IndentBy(stdout, gNoiseIndent);      printf("GetAvailableSpace: band=%d,%d,%d,%d count=%d\n",             mAvailSpaceRect.x, mAvailSpaceRect.y,             mAvailSpaceRect.width, mAvailSpaceRect.height,             mBand.GetTrapezoidCount());    }#endif  }