Ah, thanks! I added this to arraybuffer.d.ts. Unfortunately it doesn't gain us a whole lot since copying still has to be done byte by byte...but this is probably better for now.