// Copyright 2016 the V8 project authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

function $DETACHBUFFER(buffer) {
  %ArrayBufferDetach(buffer);
}

$262.detachArrayBuffer = $DETACHBUFFER;