anchor.diff:          buffer.ToString()
   
       /// Implements: 15.4.4.6 Array.prototype.pop ( )
  -    let pop (func:FO) (this:CO) = 
  +    let private pop (func:FO) (this:CO) = 
         let length = this.GetLength()
         if length = 0u then 
           this.Put("length", double 0.0)
  
positive.code:       concat 0u (BV.Box this) 0
  
      /// Implements: 15.4.4.5 Array.prototype.join (separator)
      let join (func:FO) (this:CO) (separator:BV) =
        let length = this.GetLength()
        let separator =
          match separator.Tag with
  
negative.code:         buffer.ToString()
  
      /// Implements: 15.4.4.2 Array.prototype.toString ( )
      let private toString (func:FO) (this:CO) =
        this.CheckType<AO>()
        join func this Undefined.Boxed
  
      /// Implements: 15.4.4.3 Array.prototype.toLocaleString ( )
      let private toLocaleString (func:FO) (this:CO) =
        this.CheckType<AO>()
  
        let length = this.GetLength()
  