anchor.diff:              pb.PutInt32(overflowFirstPage)
               newRange
   
  -        let writeLeaves leavesFirstPage leavesBoundaryPage :int*int*(pgitem list)*int =
  +        let writeLeaves (leavesBlk:PageBlock) :PageBlock*(pgitem list)*int =
               // 2 for the page type and flags
               // 4 for the prev page
               // 2 for the stored count
  
positive.code:                     writeLeaf middleState isRootNode
                  else
                      middleState
              let {nextPage=n;boundaryPage=b;leaves=leaves;firstLeaf=firstLeaf} = finalState
              (n,b,leaves,firstLeaf)
  
          // this is the body of Create
          let startingBlk = pageManager.GetRange(token)
          utils.SeekPage(fs, pageSize, startingBlk.firstPage)
  
          let (pageAfterLeaves, boundaryAfterLeaves, leaves, firstLeaf) = writeLeaves startingBlk.firstPage startingBlk.lastPage
  
          // all the leaves are written.
          // now write the parent pages.
  
negative.code:                     let available = pb.Available - sizeof<int32> // for the lastInt32
                      let fitBothInline = (available >= neededForBothInline)
                      let fitKeyInlineValueOverflow = (available >= neededForKeyInlineValueOverflow)
                      let {keys=_;blk=blk} = st
                      let newBlk = 
                          if fitBothInline then
                              putKeyWithLength k
  