void GetAvailableSpace(nscoord aY) {
void GetAvailableSpace() {
  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 NOISY_INCREMENTAL_REFLOW    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  }