public int pageout(Page og){
    if((e_o_s!=0&&lacing_fill!=0)|| /* 'were done, now flush' case */
    body_fill-body_returned>4096|| /* 'page nominal size' case */
    lacing_fill>=255|| /* 'segment table full' case */
    (lacing_fill!=0&&b_o_s==0)){ /* 'initial header page' case */
      return flush(og);
    }
    return 0;
  }